Automated Model Building - Softcover

Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas

 
9789401570534: Automated Model Building
Softcover
ISBN 10: 9401570531 ISBN 13: 9789401570534
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
9401570531
ISBN 13 
9789401570534
Binding
Paperback

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  1402026528 ISBN 13:  9781402026522
Publisher: Springer, 2004
Hardcover