Automated Reasoning With Otter

Name: Automated Reasoning With Otter
Author: John Arnold Kalman, John A Kalman
ISBN: 9781589490048

AuthorJohn Arnold Kalman, John A Kalman

PublisherRinton Pr Inc

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

88.00 USD

Buy New on Amazon 🇺🇸 Buy Used — $79.00

Usually ships in 24 hours

Book Details

Author(s)John Arnold Kalman, John A Kalman

PublisherRinton Pr Inc

ISBN / ASIN1589490045

ISBN-139781589490048

AvailabilityUsually ships in 24 hours

Sales Rank6,136,720

MarketplaceUnited States 🇺🇸

Description

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.