Algopix Logo
Low Inventory

Automated Theorem Proving: Theory and Practice

See customer reviews
Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Attributes

Authors
Newborn, Monty
Edition
2001
Formats
Illustrated
Genre
Mathematical foundations
Label
Springer
Content Languages
[object Object], [object Object], [object Object]
Number Of Items
1
Number Of Pages
245
Publication Date
2000-12-15
Publisher
Springer
Studio
Springer
Lang
en-US
Autographed
No
Memorabilia
No

Product Identifiers

AIDAlgopix unique identifier
AID0LCL26001
Copied!
ASIN
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account

Similar Items

Algopix Similar Product 1 - Clause and Effect Prolog Programming

Clause and Effect: Prolog Programming for the Working Programmer

Algopix Similar Product 2 - What To Do When Machines Do Everything

What To Do When Machines Do Everything: How to Get Ahead in a World of AI, Algorithms, Bots, and Big Data

Algopix Similar Product 3 - Dark Pools The Rise of the Machine

Dark Pools: The Rise of the Machine Traders and the Rigging of the U.S. Stock Market

Algopix Similar Product 4 - The AI Delusion

The AI Delusion

Algopix Similar Product 5 - Thinking Machines The Quest for

Thinking Machines: The Quest for Artificial Intelligence--and Where It's Taking Us Next

Algopix Similar Product 6 - HandsOn Machine Learning with

Hands-On Machine Learning with Scikit-Learn and TensorFlow: Concepts, Tools, and Techniques to Build Intelligent Systems

Algopix Similar Product 7 - The Singularity Is Near When Humans

The Singularity Is Near: When Humans Transcend Biology

Algopix Similar Product 8 - Superintelligence Paths Dangers

Superintelligence: Paths, Dangers, Strategies

Algopix Similar Product 9 - Artificial Intelligence What Everyone

Artificial Intelligence: What Everyone Needs to KnowR

Algopix Similar Product 10 - What to Think About Machines That

What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence (Edge Question Series)

Algopix Similar Product 11 - Life 30 Being Human in the Age of

Life 3.0: Being Human in the Age of Artificial Intelligence

Algopix Similar Product 12 - Thinking as Computation A First Course

Thinking as Computation: A First Course (The MIT Press)

Algopix Similar Product 13 - Artificial Intelligence For Dummies

Artificial Intelligence For Dummies (For Dummies (Computer/Tech))

Algopix Similar Product 14 - Computing with Quantum Cats From

Computing with Quantum Cats: From Colossus to Qubits

Algopix Similar Product 15 - The Fourth Age Smart Robots Conscious

The Fourth Age: Smart Robots, Conscious Computers, and the Future of Humanity

Algopix Similar Product 16 - Human Machine Reimagining Work in

Human + Machine: Reimagining Work in the Age of AI

Algopix Similar Product 17 - Moral Machines Teaching Robots Right

Moral Machines: Teaching Robots Right from Wrong

Algopix Similar Product 18 - Mindware An Introduction to the

Mindware: An Introduction to the Philosophy of Cognitive Science

Algopix Similar Product 19 - The Philosophy of Artificial

The Philosophy of Artificial Intelligence (Oxford Readings in Philosophy)

Algopix Similar Product 20 - Life 30 Being Human in the Age of

Life 3.0: Being Human in the Age of Artificial Intelligence

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.