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 $57.37
You save: 22%
Marketplace Item
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.