Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Model Building
  • Produktbild: Automated Model Building
Band 31

Automated Model Building

Aus der Reihe Applied Logic Series

199,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.09.2004

Abbildungen

XI, 341 p.

Verlag

Springer Netherland

Seitenzahl

341

Maße (L/B/H)

23,4/15,6/2,1 cm

Gewicht

681 g

Auflage

2004 edition

Sprache

Englisch

ISBN

978-1-4020-2652-2

Beschreibung

Rezension

"Motivated readers who want to learn more about automated model building [...] are strongly encouraged to read thid book. [...] The area is new, there are many interesting open problems and potential improvements. Because of this newness, motivated readers have a unique opportunity not only to learn interesting ideas but also, hopefully, to meaningfully contribute to this area." (Vladik Kreinovich,
The Review of Modern Logic
10:3-4, issue 32, 2005-2007)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.09.2004

Abbildungen

XI, 341 p.

Verlag

Springer Netherland

Seitenzahl

341

Maße (L/B/H)

23,4/15,6/2,1 cm

Gewicht

681 g

Auflage

2004 edition

Sprache

Englisch

ISBN

978-1-4020-2652-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Model Building
  • Produktbild: Automated Model Building
  • 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.