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)

Infos

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.

Produkt-Details

• 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