Artículos relacionados a The Computational Logic Handbook (Perspectives in Computing)

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.