£69.99

Chapman and Hall/CRC Automation of Logic (Chapman & Hall/CRC Studies in Informatics Series)

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

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 75 days · 75 data points (no recent data)

Historical
Generating forecast…
£69.99 £66.49 £67.89 £69.29 £70.69 £72.09 £73.49 26 April 2026 14 May 2026 02 June 2026 20 June 2026 09 July 2026

Price Distribution

Price distribution over 75 days • 1 price levels

Days at Price
75 days 0 19 38 56 75 £70 Days at Price

Price Analysis

Most common price: £70 (75 days, 100.0%)

Price range: £70 - £70

Price levels: 1 different prices over 75 days

Description

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book’s website and a solutions manual is available for qualifying instructors.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
05 January 2026
Listed Since
14 March 2011

Barcode

No barcode data available

Similar Products You Might Like

Handbook of Practical Logic and Automated Reasoning
96% match

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press

£103.23 14 Jul 2026
Logic of Computation: SER F / v.157 (NATO ASI)
96% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£80.57 04 Jul 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.82 07 Jul 2026
Handbook of Automated Reasoning (Volume 1)
96% match

Handbook of Automated Reasoning (Volume 1)

North Holland

£325.00 03 Jul 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£50.10 02 Jul 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
96% match

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

Springer

£52.29 02 Jul 2026
Computational Logic and Human Thinking: How to Be Artificially Intelligent
95% match

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Cambridge University Press

£102.59 16 Jul 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
95% match

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

Springer

£103.00 08 Jul 2026
Logic for Computer Science and Artificial Intelligence
95% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 14 Jul 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
95% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 02 Jul 2026
Logic and Language Models for Computer Science: Third Edition
95% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£63.37 14 Jul 2026
Logic Programming: A Classified Bibliography
95% match

Logic Programming: A Classified Bibliography

Springer

£83.00 15 Jul 2026
Handbook of Automated Reasoning (Volume II)
95% match

Handbook of Automated Reasoning (Volume II)

North Holland

£159.18 27 Jun 2026
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
95% match

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Springer

£59.15 09 Jul 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

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

Springer

£104.85 24 Jun 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
95% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.98 10 Jul 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
95% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 04 Jul 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
95% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£51.67 04 Jul 2026
Proceedings of the 7th and 8th Asian Logic Conferences
95% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 01 Jul 2026
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
95% match

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

£69.99 08 Jul 2026
Handbook of Philosophical Logic: Volume 14
95% match

Handbook of Philosophical Logic: Volume 14

Springer

£145.51 10 Jul 2026