Handbook of Automated Reasoning (Volume I) - Hardcover

 
9780444829498: Handbook of Automated Reasoning (Volume I)
Hardcover
ISBN 10: 0444829490 ISBN 13: 9780444829498
Verlag: North Holland, 2001

Inhaltsangabe

This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
North Holland
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0444829490
ISBN 13 
9780444829498
Einband
Gebundene Ausgabe
Anzahl der Seiten
996
Herausgeber
Voronkov Andrei, Robinson Alan J.A.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Buchpark GmbH
gpsr@buchpark.de

Krügerweg 1
Trebbin
Brandenburg
14959
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780262182218: Handbook of Automated Reasoning

Vorgestellte Ausgabe

ISBN 10:  0262182211 ISBN 13:  9780262182218
Verlag: MIT Press, 2001
Hardcover