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

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

by Larry Wos

  • 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
  • ISBN: 9780127634203
  • ISBN10: 0127634207
used Add to Cart $97.53
You save: 17%
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
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
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: Bonita
Location: Newport Coast, CA
Condition: Good
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Price:
$97.53
Comments:
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
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: ).