The Computational Logic Handbook (Perspectives in Computing) - Tapa dura

Boyer, Robert S.; Moore, J. Strother

 
9780121229528: The Computational Logic Handbook (Perspectives in Computing)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  1483236536 ISBN 13:  9781483236537
Editorial: Academic Press, 2014
Tapa blanda