The Computational Logic Handbook (Perspectives in Computing, Band 23) - Hardcover

Buch 3 von 7: Notes and reports in computer science and applied mathematics

Boyer, Robert S.; Moore, J. Strother

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

Inhaltsangabe

Contains a precise and complete description of the computational logic developed 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.

Verlag
Academic Press Inc
Erscheinungsdatum
1988
Sprache
Englisch
ISBN 10 
0121229521
ISBN 13 
9780121229528
Einband
Gebundene Ausgabe
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