Error title
Some error text about your books and stuff.
Close
  • ISBN: 9780127634203
  • ISBN10: 0127634207

The Automation of Reasoning an Experimenter's Notebook With Otter Tutorial

by Larry Wos

  • List Price: $117.00
  • Binding: Hardcover
  • Publisher: Academic Pr
  • Publish date: 08/01/1996
used Add to Cart $1.67
You save: 99%
Marketplace Item
new Add to Cart $24.69
You save: 79%
Marketplace Item
Description: This book presents some of the insights, judgements, opinions, and experiences gleaned from more than 30 years of research in automated reasoning. The style and organization are those of an experimenter's notebook, featuring both successes and failures resulting from numerous experiments with one of the world's most powerful software packages for automated reasoning, Bill McCune's OTTER.
Expand description
Seller Condition Comments Price  
Hippo Books
Location: Toledo, OH
Very Good
Shows some signs of wear from usage. Is no longer bright/shinny. Edge wear from storage and shelving.
$1.67
Ergodebooks
Location: Richmond, TX Ask seller a question
Good
Buy with confidence. Excellent Customer Service & Return policy.
$7.80
Ergodebooks
Location: Richmond, TX Ask seller a question
New
Buy with confidence. Excellent Customer Service & Return policy.
$24.69
Michener & Rutledge Bookseller
Location: Baldwin City, KS
Very Good
Shipping Icon
0127634207. Includes sealed diskette; text clean and tight; no dust jacket; 1.1 x 9.23 x 6.23 Inches; 434 pages.
$28.12
One Stop Shop Bookstore
Location: Memphis, TN
Good
Shipping Icon
$30.81
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: ).