Skip to main content
PBS logo
 
 

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

The Automation of Reasoning : An Experimenter's Notebook with Otter Tutorial
The Automation of Reasoning An Experimenter's Notebook with Otter Tutorial
Author: Larry Wos
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 ...  more »
ISBN-13: 9780127634203
ISBN-10: 0127634207
Publication Date: 7/29/1996
Pages: 434
Rating:
  ?
0 stars, based on 0 rating
Publisher: Academic Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.