Automated Model Building - Tapa blanda

Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas

 
9789401570534: Automated Model Building
Tapa blanda
ISBN 10: 9401570531 ISBN 13: 9789401570534
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

1. Introduction.- 2. Preliminaries.- 3. Resolution-Based Methods.- 4. Constraint-Based Methods.- 5. Model Representation and Evaluation.- 6. Finite Model Building.- 7. Conclusion.- Notation Index.- References.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
9401570531
ISBN 13 
9789401570534
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781402026522: Automated Model Building: 31 (Applied Logic Series)

Edición Destacada

ISBN 10:  1402026528 ISBN 13:  9781402026522
Editorial: Springer, 2004
Tapa dura