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

Automated Model Building

Aus der Reihe Applied Logic Series
13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.12.2010

Abbildungen

XI, 341 p.

Verlag

Springer Netherland

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-6696-1

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

Taschenbuch

Erscheinungsdatum

05.12.2010

Abbildungen

XI, 341 p.

Verlag

Springer Netherland

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-6696-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.