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

9780121229528: The Computational Logic Handbook (Perspectives in Computing)

Synopsis

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.

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

About the Author

By John S. Boyer, and Hal G. Moore

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