A Computational Logic Handbook (Perspectives in Computing)

By Robert S. Boyer

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0121229521
• ISBN13: 9780121229528
• Release Date: January 1988
• Publisher: Academic Pr
• Length: 408 Pages
• Weight: 1.70 lbs.
• Dimensions: 9.3" x 0.8" x 6.3"