Automated Reasoning With Otter

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

Author John Arnold Kalman, John A Kalman

Publisher Rinton Pr Inc

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose 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.