Automated Model Building - Brossura

Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas

 
9789401570534: Automated Model Building
Brossura
ISBN 10: 9401570531 ISBN 13: 9789401570534
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
9401570531
ISBN 13 
9789401570534
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9781402026522: Automated Model Building: 31

Edizione in evidenza

ISBN 10:  1402026528 ISBN 13:  9781402026522
Casa editrice: Kluwer Academic Pub, 2004
Rilegato