Out of stock

This item is currently unavailable

Current Trends in Automated Theorem Proving

Out of stock

Price data last checked 19 day(s) ago - will refresh soon

View at Amazon

One email. No newsletter. No nudges.

Out of stock for 19 days. The last 3 returns each lasted under a day — get on the list.

Out of stock 19 days · usually back within 14 days

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.

No price data yet

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Product Specifications
Format
hardcover
ASIN
1647268133
Category
Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain
Amazon UK
Release Date
25 August 2025
Listed Since
10 July 2025

Barcode

No barcode data available

Similar Products You Might Like

99% match

Current Trends in Cyber Security

Price unavailable
98% match

Emerging Trends in Civil Engineering

Price unavailable
Current Trends in Automated Reasoning
98% match

Current Trends in Automated Reasoning

Price unavailable
Power Systems: Dynamic Estimation and Control
98% match

Power Systems: Dynamic Estimation and Control

Price unavailable
Recent Developments in Chemistry
98% match

Recent Developments in Chemistry

Price unavailable
Cryptography and Computational Number Theory
98% match

Cryptography and Computational Number Theory

Price unavailable
Transformative Strategies in Higher Education
98% match

Transformative Strategies in Higher Education

Price unavailable
Automation and Robotics in the Construction Industry
98% match

Automation and Robotics in the Construction Industry

Price unavailable
Energy Transitions: A Sociotechnical Perspective
98% match

Energy Transitions: A Sociotechnical Perspective

Price unavailable
Industrial and Applied Mathematics: Recent Trends
98% match

Industrial and Applied Mathematics: Recent Trends

Price unavailable
Financial and Economic Analysis
98% match

Financial and Economic Analysis

Price unavailable
The Data Science and Psychology
98% match

The Data Science and Psychology

Price unavailable
Economic Development: An Asian Perspective
98% match

Economic Development: An Asian Perspective

Price unavailable
The Basics of Data Structures and Algorithms
98% match

The Basics of Data Structures and Algorithms

Price unavailable
Mathematics Education: A Multidisciplinary Approach
98% match

Mathematics Education: A Multidisciplinary Approach

Price unavailable
Media, Politics and Communication: European Perspectives
98% match

Media, Politics and Communication: European Perspectives

Price unavailable
Handbook on Decision Support Systems
98% match

Handbook on Decision Support Systems

Price unavailable
Multimedia: The Internet and Beyond
98% match

Multimedia: The Internet and Beyond

Price unavailable
Current Trends in Neuroendocrinology
98% match

Current Trends in Neuroendocrinology

Price unavailable
Authoritarianism: Global Perspectives
98% match

Authoritarianism: Global Perspectives

Price unavailable
Modern Approaches to Chemistry
98% match

Modern Approaches to Chemistry

Price unavailable
Logic and Critical Thinking: An Introduction
98% match

Logic and Critical Thinking: An Introduction

Price unavailable
Social Philosophy: Historical Perspectives
98% match

Social Philosophy: Historical Perspectives

Price unavailable
Knowledge Representation: Methods and Applications
98% match

Knowledge Representation: Methods and Applications

Price unavailable