£41.59

Cambridge University Press Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Price data checked 4 days ago

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£42 today · previous high £42 · all-time low £38

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

Historical
Generating forecast...
£41.59 £37.33 £38.26 £39.19 £40.12 £41.05 £41.98 13 March 2026 03 April 2026 25 April 2026 16 May 2026 07 June 2026

Price Distribution

Price distribution over 87 days • 2 price levels

Days at Price
Current Price
84 days 3 days · current 0 21 42 63 84 £38 £42 Days at Price

Price Analysis

Most common price: £38 (84 days, 96.6%)

Price range: £38 - £42

Price levels: 2 different prices over 87 days

Description

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
02 April 2009
Listed Since
31 March 2008

Barcode

No barcode data available

Similar Products You Might Like

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)
81% match

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

Cambridge University Press

£36.74 18 May 2026
Programming with Higher-Order Logic
81% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 2026
Logics for Computer Science: Classical and Non-Classical
81% match

Logics for Computer Science: Classical and Non-Classical

Springer

£76.52 05 Jun 2026
Argumentation in Artificial Intelligence
81% match

Argumentation in Artificial Intelligence

Springer

£112.79 25 May 2026
Abductive Inference: Computation, Philosophy, Technology
80% match

Abductive Inference: Computation, Philosophy, Technology

Cambridge University Press

£66.48 04 May 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
80% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£39.90 17 May 2026
Structural Proof Theory
80% match

Structural Proof Theory

Cambridge University Press

£94.00 04 Jun 2026
Formal Languages in Logic: A Philosophical and Cognitive Analysis
79% match

Formal Languages in Logic: A Philosophical and Cognitive Analysis

Cambridge University Press

£84.57 05 Jun 2026
Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
79% match

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Cambridge University Press

£131.48 27 May 2026
Artificial Intelligence in Logic Design: 766 (The Springer International Series in Engineering and Computer Science, 766)
79% match

Artificial Intelligence in Logic Design: 766 (The Springer International Series in Engineering and Computer Science, 766)

Springer

£108.91 06 Jun 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
79% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£94.58 31 May 2026
Foundations of Illocutionary Logic
79% match

Foundations of Illocutionary Logic

Cambridge University Press

£41.39 01 Jun 2026
Probability and Inductive Logic (Elements in Philosophy and Logic)
78% match

Probability and Inductive Logic (Elements in Philosophy and Logic)

Cambridge University Press

£49.41 05 Jun 2026
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
78% match

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

Springer

£29.83 05 Jun 2026
Philosophical Logic and Artificial Intelligence
78% match

Philosophical Logic and Artificial Intelligence

Springer

£74.20 31 May 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
78% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£156.75 12 May 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
78% match

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Springer

£76.38 05 Jun 2026
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel: 19 (Applied Logic Series, 19)
78% match

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel: 19 (Applied Logic Series, 19)

Springer

£105.94 22 May 2026
Acceptable Premises: An Epistemic Approach to an Informal Logic Problem
78% match

Acceptable Premises: An Epistemic Approach to an Informal Logic Problem

Cambridge University Press

£29.70 21 May 2026
Handbook of Philosophical Logic: Volume 17
78% match

Handbook of Philosophical Logic: Volume 17

Springer

£74.12 30 May 2026
Modelling Systems: Practical Tools and Techniques in Software Development
78% match

Modelling Systems: Practical Tools and Techniques in Software Development

Cambridge University Press

£38.86 08 Jun 2026
Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)
78% match

Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)

Springer

£80.77 31 May 2026
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition (Synthesis Lectures on Artificial Intelligence and Machine Learning)
78% match

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Springer

£43.29 31 May 2026
Handbook of Philosophical Logic: 11
78% match

Handbook of Philosophical Logic: 11

Springer

£165.97 03 Jun 2026