Error title
Some error text about your books and stuff.
Close
The Automation of Reasoning An Experimenter's Notebook With Otter Tutorial cover
  • 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 $17.66
You save: 85%
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  
secondsale

Location: Montgomery, IL
Ask seller a question
Very Good
Item in very good condition and at a great price! Textbooks may not include supplemental items i.e. CDs, access codes etc...
$17.66
Hippo Books

Location: Toledo, OH
Very Good
May have shelf wear or edge rubbing. Pages are clean and free of textual notes or other markings.
$18.17
GoodDealsOnUsedBooks

Location: Aurora, IL
Very Good
Shipping Icon
0127634207 Item in very good condition and at a great price! Textbooks may not include supplemental items i.e. CDs, access codes etc...
$19.86
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