Skip to content
Scan a barcode
Scan
Hardcover Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] Book

ISBN: 9810239106

ISBN13: 9789810239107

Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM]

This book shows you -- through examples and puzzles and intriguing questions -- how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics,...

Recommended

Format: Hardcover

Condition: New

$147.00
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured