Automated Deduction: From Theory to Applications - Image 1

Out of stock

This item is currently unavailable

Automated Deduction: From Theory to Applications

AI & Machine Learning

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: 1647255759
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

Automated Deduction: From Theory to Applications

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

Price History & Forecast

Price Distribution

Product Specifications

Barcode

Similar Products You Might Like

Advances in Automated Reasoning

Heuristic Algorithms Design: A Methodological Approach

Data Assimilation: Methods, Modeling and Applications

Digital Signal Processing: Theory, Practice and Applications

Theory and Applications of Parallel Manipulators

Semantics with Applications: Advanced Topics in Computer Science

Advances in Numerical Methods and Analysis

Creative Economy and Sustainable Development

Essential Discrete Mathematics

Inorganic Chemistry: The Basics

Linguistic Theory: Morphology, Syntax and Semantics

Telecommunications: A Systems Approach

Advanced Materials for Energy Storage and Conversion

Patristic Theology: Epistemological Foundations

Principles of Organic Synthesis

Fundamentals of Formulaic Language

Corrosion Evaluation and Protection Mechanisms of Materials

Differential Equations: An Elementary Approach

Rethinking Values and Ethics in Organizations

Kalman Filtering: A Practical Approach

Advances in Formal Design Methods for CAD

The Law of State Immunity

Technology and Digital Media

Media of Mass Communication