£108.01

It has never been this cheap. We have no record of a lower price.

£108 today · cheaper than every other day in the last 3 months

Springer Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

View at Amazon

Price History & Forecast

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

Last 25 days · 25 data points (no recent data)

Historical
Generating forecast…
£108.01 £102.61 £104.77 £106.93 £109.09 £111.25 £113.41 25 July 2026 31 July 2026 06 August 2026 12 August 2026 18 August 2026
View at Amazon ↗

Price data last checked 66 day(s) ago - refreshing...

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 Distribution

Price distribution over 25 days • 1 price levels

Days at Price
25 days 0 6 13 19 25 £108 Days at Price

Price Analysis

Most common price: £108 (25 days, 100.0%)

Price range: £108 - £108

Price levels: 1 different prices over 25 days

Description

We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
09 December 2010
Listed Since
01 October 2010

Barcode

No barcode data available

Similar Products You Might Like

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
97% match

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

A K Peters/CRC Press

£103.99 22 Oct 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)
97% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)

Springer

£151.98 01 Oct 2026
Labelled Deduction: 17 (Applied Logic Series, 17)
96% match

Labelled Deduction: 17 (Applied Logic Series, 17)

Springer

£75.37 22 Oct 2026
Labelled Deduction: 17 (Applied Logic Series, 17)
96% match

Labelled Deduction: 17 (Applied Logic Series, 17)

Springer

£85.65 21 Oct 2026
Automated Deduction in Equational Logic and Cubic Curves: 1095 (Lecture Notes in Computer Science, 1095)
96% match

Automated Deduction in Equational Logic and Cubic Curves: 1095 (Lecture Notes in Computer Science, 1095)

Springer

£39.56 03 Oct 2026
Automated Model Building: 31 (Applied Logic Series, 31)
95% match

Automated Model Building: 31 (Applied Logic Series, 31)

Springer

£108.01 19 Aug 2026
The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1: THE - VOLUME II: APPLYING AUTOMATED REASONING TO PUZZLES
95% match

The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1: THE - VOLUME II: APPLYING AUTOMATED REASONING TO PUZZLES

World Scientific Publishing Company

£112.81 02 Oct 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
95% match

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Springer

£58.17 02 Oct 2026
Handbook of Practical Logic and Automated Reasoning
95% match

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press

£103.23 01 Oct 2026
Automated Mathematical Induction
95% match

Automated Mathematical Induction

Springer

£85.65 19 Oct 2026
Cambridge Logic in Computer Science - 2nd Edition Textbook
95% match

Cambridge Logic in Computer Science - 2nd Edition Textbook

Cambridge University Press

£51.69 21 Oct 2026
Handbook of Automated Reasoning (Volume 1)
95% match

Handbook of Automated Reasoning (Volume 1)

North Holland

£325.00 12 Sep 2026
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
95% match

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Springer

£61.69 11 Sep 2026
Automatische Synthese rekursiver Programme als Beweisverfahren: 302 (Informatik-Fachberichte, 302)
95% match

Automatische Synthese rekursiver Programme als Beweisverfahren: 302 (Informatik-Fachberichte, 302)

Springer

£46.99 23 Sep 2026
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
95% match

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

Springer

£92.22 22 Oct 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
95% match

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

Springer

£52.36 11 Sep 2026
Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02
95% match

Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02

CRC Press

£121.97 10 Sep 2026
Metamathematics of First-Order Arithmetic - Perspectives Logic
95% match

Metamathematics of First-Order Arithmetic - Perspectives Logic

Cambridge University Press

£151.00 05 Oct 2026
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
95% match

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Springer

£61.69 18 Sep 2026
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
95% match

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

Elsevier

£120.00 10 Sep 2026
The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)
95% match

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Routledge

£152.40 10 Oct 2026
Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)
95% match

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

Springer

£163.97 19 Aug 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

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

Springer

£108.01 29 Aug 2026
Logic for Mathematicians
95% match

Logic for Mathematicians

Cambridge University Press

£53.82 11 Aug 2026