Error title
Some error text about your books and stuff.
Close

A Computational Logic Handbook

by Boyer, Robert S.

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
  • ISBN: 9780121229559
  • ISBN10: 0121229556
used Add to Cart $50.62
You save: 32%
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  
Seller: Found Books
Location: AUSTIN, TX
Condition: Like New
Sewn binding. Cloth over boards.
Price:
$50.62
Comments:
Sewn binding. Cloth over boards.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$55.55
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
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: ).