Verwandte Artikel zu The Computational Logic Handbook (Perspectives in Computing,...

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)

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.