KI-Beratung Beta
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)

24,1/16,5/2,3 cm

Gewicht

680 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)

24,1/16,5/2,3 cm

Gewicht

680 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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.