Automated Reasoning With Otter
Description:
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.
Best prices to buy, sell, or rent ISBN 9781589490048
Frequently Asked Questions about Automated Reasoning With Otter
The price for the book starts from $203.98 on Amazon and is available from 2 sellers at the moment.
If you’re interested in selling back the Automated Reasoning With Otter book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Automated Reasoning With Otter book, the best buyback offer comes from and is $ for the book in good condition.
The Automated Reasoning With Otter book is in very low demand now as the rank for the book is 8,164,755 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
Not enough insights yet.