Skip to content

ISBN: 0127634207

ISBN13: 9780127634203

The Automation of Reasoning : An Experimenter's Notebook with Otter Tutorial

Select Format:

Select Condition:


Format: Hardcover

Temporarily Unavailable

We receive fewer than 1 copy every 6 months.

Book Overview

This landmark title is the only one of its kind to offer research problems in the field along with guidance in using and implementing what has been called the most powerful general-purpose program for automated reasoning available: Bill McCune's OTTER . The remarkable automated reasoning program is included (on diskette) with the text to allow hands-on understanding of the author's imparted knowledge. Also included within the text are detailed guidelines...

Customer Reviews

0 rating
Copyright © 2018 Terms of Use | Privacy Policy
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured