A Computational Logic Handbook

by Robert S. Boyer and J. Strother Moore

This book provides the definitive documentation for one of the most well-known and highly regarded theorem-proving programs ever written. The program described is one of the more significant,... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0121229556
• ISBN13: 9780121229559
• Release Date: October 1997
• Publisher: Academic Press
• Length: 512 Pages
• Weight: 2.00 lbs.
• Dimensions: 1.1" x 6.2" x 9.3"