![Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107](https://i5.walmartimages.com/asr/a0b0a42b-1dc7-454f-bfcf-7bc9da3aca94.a0788a4f195478e5c26ee3d88943a432.jpeg?odnHeight=573&odnWidth=573&odnBg=FFFFFF)
![Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107](https://i5.walmartimages.com/asr/a0b0a42b-1dc7-454f-bfcf-7bc9da3aca94.a0788a4f195478e5c26ee3d88943a432.jpeg?odnHeight=573&odnWidth=573&odnBg=FFFFFF)
Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107
Key item features
- ISBN: 9789810239107
- Condition: Pre-Owned: Good
- Hard cover
- Language: English
- Intended for college/higher education audience.
- 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, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.
Specs
- Book formatHardcover
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pages608
- Edition1
- Original languagesEnglish
About this item
Product details
- ISBN: 9789810239107
- Condition: Pre-Owned: Good
- Hard cover
- Language: English
- Intended for college/higher education audience.
- 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, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.
What is Pre-Owned: Good?
What is the Walmart Pre-Owned Program?
Walmart Pre-Owned allows you to find previously owned, well-cared-for items from Walmart’s trusted & performance-managed sellers. Shopping Pre-Owned allows you to bring home the best-quality picks at even lower prices, in addition to extending the life of an item & reducing waste. Find your favorites & shop a range of conditions in every category.
Why Walmart Pre-Owned?
Trusted sellers & quality items
Each Pre-Owned item listed comes from Walmart’s trusted performance-managed sellers, to ensure you get quality items.

Quality you can afford
Save even more on top brands & your most-loved items.

30-day free returns
Don’t love it? Most items offer a 30-day* free return policy, for added peace of mind.
Sustainability
Shopping Pre-Owned helps in extending the life of an item & reducing waste.
Product image for illustration purposes only. The item you receive may vary from the image in minor ways, such as slight differences in appearance, color, and/or design. *Exceptions apply during holiday season, and on certain electronics, collectibles, and jewelry.
Pre-Owned: Good
What is the Walmart Pre-Owned Program?
Walmart Pre-Owned allows you to find previously owned, well-cared-for items from Walmart’s trusted & performance-managed sellers. Shopping Pre-Owned allows you to bring home the best-quality picks at even lower prices, in addition to extending the life of an item & reducing waste. Find your favorites & shop a range of conditions in every category.
Why Walmart Pre-Owned?

Trusted sellers & quality items
Each Pre-Owned item listed comes from Walmart’s trusted performance-managed sellers, to ensure you get quality items.
Quality you can afford
Save even more on top brands & your most-loved items.

30-day free returns
Don’t love it? Most items offer a 30-day* free return policy, for added peace of mind.

Sustainability
Shopping Pre-Owned helps in extending the life of an item & reducing waste.
Product image for illustration purposes only. The item you receive may vary from the image in minor ways, such as slight differences in appearance, color, and/or design. *Exceptions apply during holiday season, and on certain electronics, collectibles, and jewelry.
Specifications
Book format
Fiction/nonfiction
Genre
Pages
Warranty
Warranty information
Similar items you might like
Based on what customers bought
Pre-Owned Pearson Artificial Intelligence: A Modern Approach, 4Th Edition, 9789356063570, 9356063575, Paperback, International edition. $40.61
$4061current price $40.61Pre-Owned Pearson Artificial Intelligence: A Modern Approach, 4Th Edition, 9789356063570, 9356063575, Paperback, International edition.
Pre-Owned Reading Specialists and Literacy Coaches in the Real World, Fourth Edition, 9781478636632, 1478636637, Paperback, 4 edition $38.49
$3849current price $38.49Pre-Owned Reading Specialists and Literacy Coaches in the Real World, Fourth Edition, 9781478636632, 1478636637, Paperback, 4 edition
Dislocations Worldwide Mobilizations: Class Struggles and Urban Commoning, Book 24, (Paperback) $34.95
$3495current price $34.95Dislocations Worldwide Mobilizations: Class Struggles and Urban Commoning, Book 24, (Paperback)
Pre-Owned 2016-2017 Medstudy Pediatrics Review Core Curriculum, 7th edition Paperback $6.86
$686current price $6.86Pre-Owned 2016-2017 Medstudy Pediatrics Review Core Curriculum, 7th edition Paperback
Pre-Owned Data Science (Paperback) 0262535432 9780262535434 $8.50
3 optionsAvailable in additional 3 options$850current price $8.50Pre-Owned Data Science (Paperback) 0262535432 9780262535434
Pre-Owned Exploring Creation with General Science 3rd Edition, Solutions and Tests Paperback $10.99 Was $16.40
2 optionsAvailable in additional 2 options$1099current price $10.99, Was $16.40$16.40Pre-Owned Exploring Creation with General Science 3rd Edition, Solutions and Tests Paperback
Pre-Owned Exploring the World: Geography For Travel Professionals Student Workbook (4th Edition) Paperback $6.10
$610current price $6.10Pre-Owned Exploring the World: Geography For Travel Professionals Student Workbook (4th Edition) Paperback
Pre-Owned Exploring Creation with Biology 3rd Edition Solutions and Test Paperback $7.41 Was $10.93
$741current price $7.41, Was $10.93$10.93Pre-Owned Exploring Creation with Biology 3rd Edition Solutions and Test Paperback
Pre-Owned MY WORLD ACTIVITY GUIDE GRADE 2 SOCIAL STUDIES Paperback $6.64
2 optionsAvailable in additional 2 options$664current price $6.64Pre-Owned MY WORLD ACTIVITY GUIDE GRADE 2 SOCIAL STUDIES Paperback
Reduced price Pre-Owned DAMA-DMBOK: Data Management Body of Knowledge: 2nd Edition Paperback $56.37
Reduced price
2 optionsAvailable in additional 2 options$5637current price $56.37Pre-Owned DAMA-DMBOK: Data Management Body of Knowledge: 2nd Edition Paperback
Pre-Owned Arborists' Certification Study Guide (Paperback) 1881956695 9781881956693 $116.75
3 optionsAvailable in additional 3 options$11675current price $116.75Pre-Owned Arborists' Certification Study Guide (Paperback) 1881956695 9781881956693
Pre-Owned Globalization (Paperback) 0736297545 9780736297547 $5.26
$526current price $5.26Pre-Owned Globalization (Paperback) 0736297545 9780736297547
Pre-Owned A Practical Approach to Analyzing Healthcare Data, 9781584267799, 1584267798, Paperback, 4 edition $132.48
2 optionsAvailable in additional 2 options$13248current price $132.48Pre-Owned A Practical Approach to Analyzing Healthcare Data, 9781584267799, 1584267798, Paperback, 4 edition
Pre-Owned The Complete Enneagram: 27 Paths to Greater Self-Knowledge Paperback $12.47 Was $17.60
3 optionsAvailable in additional 3 options$1247current price $12.47, Was $17.60$17.60Pre-Owned The Complete Enneagram: 27 Paths to Greater Self-Knowledge Paperback
Pre-Owned The Science Book: Everything You Need to Know about the World and How It Works (Hardcover) 1426203373 9781426203374 $6.51 Was $7.58
2 optionsAvailable in additional 2 options$651current price $6.51, Was $7.58$7.58Pre-Owned The Science Book: Everything You Need to Know about the World and How It Works (Hardcover) 1426203373 9781426203374
Pre-Owned Engineering Mathematics (Paperback) 0831134704 9780831134709 $53.02
$5302current price $53.02Pre-Owned Engineering Mathematics (Paperback) 0831134704 9780831134709
Pre-Owned A Field Guide to Monsters: This Book Could Save Your Life (Paperback) 1592580882 9781592580880 $5.82
3 optionsAvailable in additional 3 options$582current price $5.82Pre-Owned A Field Guide to Monsters: This Book Could Save Your Life (Paperback) 1592580882 9781592580880
Cybersecurity: Safeguarding Our Digital World, (Paperback) $25.71
$2571current price $25.71Cybersecurity: Safeguarding Our Digital World, (Paperback)
Pre-Owned Stop the Pain: The Six to Fix (Paperback) 1640889043 9781640889040 $5.34 Was $7.64
$534current price $5.34, Was $7.64$7.64Pre-Owned Stop the Pain: The Six to Fix (Paperback) 1640889043 9781640889040
Pre-Owned How to Read the Bible Like a Seminary Professor: A Practical and Entertaining Exploration of the World's Most Famous Book Paperback $10.80
2 optionsAvailable in additional 2 options$1080current price $10.80Pre-Owned How to Read the Bible Like a Seminary Professor: A Practical and Entertaining Exploration of the World's Most Famous Book Paperback
