Error title
Some error text about your books and stuff.
Close
A Computational Logic Handbook cover
  • ISBN: 9780121229559
  • ISBN10: 0121229556

A Computational Logic Handbook

by Boyer, Robert S.

  • List Price: $74.00
  • Binding: Hardcover
  • Edition: 0002
  • Publisher: Academic Press
  • Publish date: 02/01/2004
used Add to Cart $56.25
You save: 24%
Marketplace Item
Description: This book provides the definitive documentation for one of the most well-known & highly regarded theorem-proving programs ever written. The program described is one of the more significant, enduring, & prize-awarded accomplishments in the fields of artificial intelligence, formal methods, & applied logic. The book provides an exact statement of the logic for which the program is a prover, a complete description of the users commands, installation instructions, & much tutorial information, including references to thousands of pages of examples. Among the examples is a formally verified microprocessor & a formally verified compiler targeting that microprocessor.
Expand description
Seller Condition Comments Price  
Found Books
Location: AUSTIN, TX
Like New
Sewn binding. Cloth over boards.
$56.25
Ergodebooks
Location: Richmond, TX Ask seller a question
Good
Buy with confidence. Excellent Customer Service & Return policy.
$60.59
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).