Error title
Some error text about your books and stuff.
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.
Location: Richmond, TX Ask seller a question
Buy with confidence. Excellent Customer Service & Return policy.
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: ).