<p>Automating reasoning has been described as ``one of the most exciting and potentially fruitful areas of research that there has ever been.'' This book provides you with the means: a powerful reasoning program called Otter, currently in use to answer diverse and deep questions in mathematics and logic. The volume presents an intriguing and thorough treatment of automated reasoning and Otter -- through numerous examples, exercises, and challenging questions. No background is needed. The early chapters lead you through Otter's fundamental operations and show you how to present questions and problems to Otter, beginning with simple so you can experiment and play with problems. Gradually, more challenging applications are introduced, and more powerful strategies discussed -- strategies that are crucial to Otter's power and impressive list of successes.</p>

Automated Reasoning With Otter

Computers & Technology

Kalman, John Arnold

Kalman, John A

Computer Science

Rinton Pr Inc

See the best price to sell, buy, or rent books by Kalman, John Arnold. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Kalman, John Arnold

See the best price to sell, buy, or rent books by Kalman, John Arnold. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Automated Reasoning With Otter