Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107

Hero image 0 of Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107, 0 of 1

World Scientific

Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107

Name: Pre-Owned Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM] (Hardcover) 9810239106 9789810239107
Brand: World Scientific
SKU: 5002953561
Price: 41.31 USD
Availability: InStock

(No ratings yet)

Condition

Pre-Owned: Good

Seller Rating

4.6 out of 5 stars

10804 reviews

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 format
Hardcover
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pages
608
Edition
1
Original languages
English

Price when purchased online

Report an issue with this seller

About this item

Product details

9789810239107. Pre-Owned: Good condition. 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.

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.

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

What is Pre-Owned: Good?

Has been read and shows minimal signs of wear like an owner's inscription or foxing, but no tearing and all pages are present.

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.

See here for additional details & specific condition qualifications.

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

A well-cared-for item that has seen limited use but remains in great condition. Item and instructions are complete and included.

What is the Walmart Pre-Owned Program?

See here for additional details & specific condition qualifications.

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.

Specifications

Book format

Hardcover

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Pages

608

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.