Artículos relacionados a Sat2000: Highlights of Satisfiability Research in the...
Sat2000: Highlights of Satisfiability Research in the Year 2000: 63 (Frontiers in Artificial Intelligence and Applications) - Tapa dura
Sinopsis
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The book is devoted to various disciplines in satisfiability research and aims to give the reader an impression of the state of the art of this research in the year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications and extensions beyond propositional SAT.
Nota de la solapa
"The book is devoted to various disciplines in Satisfiability research and aims to give the reader an impression of the state of the art of this research in the Year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications, and extensions beyond propositional SAT.SAT 2000Highlights of Satisfiability Research in the Year 2000."
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialIOS Press,US
- Año de publicación2000
- ISBN 10 1586030612
- ISBN 13 9781586030612
- EncuadernaciónTapa dura
- Número de páginas568
- EditorGent I., Maaren H. Van, Walsh T.
EUR 7,37
Gastos de envío:
EUR 23,84
De Reino Unido a Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Sat2000: Highlights of Satisfiability Research in the Year 2000: 63 (Frontiers in Artificial Intelligence and Applications) [Hardcover] Gent, I.; Maaren, H. Van and Walsh, T.
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: As New. Nº de ref. del artículo: 115341-10
Gastos de envío:
EUR 23,84
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
SAT2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. LIKE NEW. book. Nº de ref. del artículo: ERICA82115860306123
Gastos de envío:
EUR 29,80
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles