Automated Model Building - Couverture souple

Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas

 
9789401570534: Automated Model Building
Couverture souple
ISBN 10 : 9401570531 ISBN 13 : 9789401570534
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
9401570531
ISBN 13 
9789401570534
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781402026522: Automated Model Building

Edition présentée

ISBN 10 :  1402026528 ISBN 13 :  9781402026522
Editeur : Springer-Verlag New York Inc., 2004
Couverture rigide