Items related to A Computational Logic Handbook (Perspectives in Computing)

9780121229528: A Computational Logic Handbook (Perspectives in Computing)

Synopsis

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.

"synopsis" may belong to another edition of this title.