Automated Reasoning With Otter

By John Arnold Kalman

OTTER is a powerful reasoning program, currently in use to answer diverse and deep questions in mathematics and logic. This volume offers a treatment of automated reasoning and OTTER through examples, exercises and challenging questions. The CD-ROM contains the program itself.

• Format: Hardcover
• Language: English
• ISBN: 1589490045
• ISBN13: 9781589490048
• Release Date: January 2001
• Publisher: Rinton Pr Inc
• Length: 650 Pages
• Weight: 2.90 lbs.
• Dimensions: 11.0" x 1.3" x 8.0"