£69.99

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

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

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 24 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 637 days • 637 data points (No recent data available)

Historical
Generating forecast...
£69.99 £66.49 £67.89 £69.29 £70.69 £72.09 £73.49 10 June 2024 16 November 2024 24 April 2025 30 September 2025 08 March 2026

Price Distribution

Price distribution over 637 days • 1 price levels

Days at Price
637 days 0 159 319 478 637 £70 Days at Price

Price Analysis

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

Price range: £70 - £70

Price levels: 1 different prices over 637 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 12 Apr 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
96% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£65.47 13 Jan 2026
Logic of Computation: SER F / v.157 (NATO ASI)
96% match

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

Springer

£80.56 26 Feb 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.25 03 Mar 2026
Handbook of Automated Reasoning (Volume 1)
96% match

Handbook of Automated Reasoning (Volume 1)

North Holland

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

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

Springer

£42.30 21 Feb 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

£48.61 21 Feb 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

£99.48 20 Apr 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 07 Mar 2026
Mathematical Logic and Computation
95% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Logic for Computer Science and Artificial Intelligence
95% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 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 22 Feb 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
95% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

£52.43 11 Jan 2026
Logic and Language Models for Computer Science: Third Edition
95% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Logic Programming: A Classified Bibliography
95% match

Logic Programming: A Classified Bibliography

Springer

£83.18 17 Apr 2026
Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)
95% match

Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)

Oxford University Press

£402.35 08 Jan 2026
Handbook of Automated Reasoning (Volume II)
95% match

Handbook of Automated Reasoning (Volume II)

North Holland

£163.99 10 Feb 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

£57.02 08 Mar 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

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

Springer

£111.23 04 Feb 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.43 10 Mar 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 27 Feb 2026
Fundamentals of Mathematical Logic
95% match

Fundamentals of Mathematical Logic

CRC Press

£110.00 12 Jan 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
95% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£48.33 27 Feb 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 17 Feb 2026