Für diesen Artikel ist leider kein Bild verfügbar.

The Computational Logic Handbook

Robert S. Boyer, J. Strother Moore (Autoren)

Buch | Hardcover

408 Seiten

1997
Academic Press Inc (Verlag)
978-0-12-122952-8 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

Erscheint lt. Verlag	28.11.1997
Verlagsort	San Diego
Sprache	englisch
Maße	159 x 235 mm
Gewicht	749 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-12-122952-1 / 0121229521
ISBN-13	978-0-12-122952-8 / 9780121229528
Zustand	Neuware