£101.50

Springer - Automated Theorem Proving: Theory and Practice

Name: Springer - Automated Theorem Proving: Theory and Practice
Brand: Springer
Price: 101.5 GBP
Availability: InStock

AI & Machine Learning

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£102 today · all-time low £98 (Apr 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 23 days • 23 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 23 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £102 (21 days, 91.3%)

Price range: £98 - £102

Price levels: 2 different prices over 23 days

Description

Explore the evolving relationship between human reasoning and computational power with Automated Theorem Proving: Theory and Practice. As computers continue to advance, their ability to perform billions of operations per second allows for parallel computations that solve complex problems in seconds. This text examines the landscape of modern computing, where multiprocessors and high-speed systems are changing how we approach mathematical and logical challenges. As technology reaches milestones like chess-playing programs that compete with world champions, the need to understand the mechanics of automated reasoning becomes more apparent. This book provides a foundation for understanding how computers serve as partners in solving problems that once took days or months to complete. Whether you are studying computer science architecture or the history of computational breakthroughs, this Springer publication offers a look into the capabilities of modern digital tools.

Key Features

Examines the increasing power of modern computers and their ability to perform billions of operations per second.

Discusses the impact of multiprocessors and parallel computations on solving complex problems quickly.

Provides context on the evolution of computer capabilities, from basic operations to advanced problem solving.

Explores the history of computational milestones, including high-level chess-playing programs.

Offers insights into how computers act as partners in the modern era of rapid technological growth.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0387950753
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 15 December 2000
Listed Since: 29 January 2007

Barcode

No barcode data available

Springer - Automated Theorem Proving: Theory and Practice

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Lectures on the Curry-Howard Isomorphism

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees: An Introduction to Symbolic Logic

Logic for Applications (Texts in Computer Science)

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Modal Semirings and Applications (Trends in Logic, 72)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)

Mathematical Logic through Python

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Proof Theory and Logic Programming: Computation as Proof Search

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic for Mathematicians

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)