Computational Logic Handbook: Perspectives in Computing, Vol 23

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 Press
• Length: 408 Pages
• Weight: 1.65 lbs.