The Computational Logic Handbook (Perspectives in Computing) - Hardcover

Boyer, Robert S.; Moore, J. Strother

 
9780121229528: The Computational Logic Handbook (Perspectives in Computing)
Hardcover
ISBN 10: 0121229521 ISBN 13: 9780121229528
Verlag: Academic Press Inc, 1997

Inhaltsangabe

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.

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

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Academic Press Inc
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0121229521
ISBN 13 
9780121229528
Einband
Tapa dura
Anzahl der Seiten
408
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781483236537: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Vorgestellte Ausgabe

ISBN 10:  1483236536 ISBN 13:  9781483236537
Verlag: Academic Press, 2014
Softcover