Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Model Building

Name: Automated Model Building
Brand: Springer-Verlag New York Inc.
SKU: 08348611
Price: 173.69 EUR
Availability: InStock
Author: Nicolas Peltier
ISBN: 9781402026522

Nicolas Peltier

Sprache

Englisch

Buch Hardcover

Libristo-Code: 08348611

Verlag Springer-Verlag New York Inc., September 2004

Provides information on automated model building, a discipline of automated deduction that is of gro... Vollständige Beschreibung

Libristo-Code: 08348611

425 b

173.69 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

NAMIBIA Kai-Uwe Küchler

Hardcover

49.95 €

Histoire Generale de Portugal, Par M. de La Clede, ... Rollin

Broschur

32.79 €

Einfach selbst reparieren - Handy, Kamera, Fernseher, Computer und Co. Reader's Digest

Adobe ePub DRM

4.49 €

Dunkle Wut Michael Katz Krefeld

MP3

8.59 €

Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Model Building

Autor Nicolas Peltier

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2004

Anzahl der Seiten 341

EAN 9781402026522

ISBN 9781402026522

Libristo-Code 08348611

Verlag Springer-Verlag New York Inc.

Gewicht 713

Abmessungen 155 x 235 x 23

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert