£44.99

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

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

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.

£45 today · previous high £45 · all-time low £45

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

Historical
Generating forecast...
£44.99 £44.52 £44.62 £44.72 £44.83 £44.93 £45.03 09 March 2026 19 March 2026 30 March 2026 10 April 2026 21 April 2026

Price Distribution

Price distribution over 44 days • 1 price levels

Days at Price
44 days 0 11 22 33 44 £45 Days at Price

Price Analysis

Most common price: £45 (44 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 44 days

Description

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
12 June 1996
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

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)
96% match

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)

Springer

£110.13 12 Jan 2026
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
95% match

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

A K Peters/CRC Press

£86.10 21 May 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
Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)
95% match

Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

£45.22 16 Feb 2026
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
95% match

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Springer

£32.70 03 May 2026
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
95% match

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Springer

£39.34 23 Apr 2026
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
95% match

An Introduction to Mathematical Proofs (Textbooks in Mathematics)

CRC Press

£44.95 20 Feb 2026
Mathematical Logic with Special Reference to the Natural Numbers
95% match

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

£44.71 08 Mar 2026
Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
95% match

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Springer

£151.55 14 Jan 2026
Theory Reasoning in Connection Calculi: 1527 (Lecture Notes in Computer Science, 1527)
95% match

Theory Reasoning in Connection Calculi: 1527 (Lecture Notes in Computer Science, 1527)

Springer

£44.51 02 May 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
95% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
95% match

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

Springer

£65.47 13 Jan 2026
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
95% match

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)

Academic Press

£43.99 12 Apr 2026
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
95% match

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

Springer

£40.99 16 Apr 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
95% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
95% match

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£88.35 22 Apr 2026
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
95% match

An Introduction to Mathematical Proofs (Textbooks in Mathematics)

CRC Press

£89.13 07 Jan 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
95% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£70.61 30 Apr 2026
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
95% match

A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning

World Scientific Publishing Company

£81.09 09 Jan 2026
Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
95% match

Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£47.06 28 Apr 2026
A Bridge to Higher Mathematics (Textbooks in Mathematics)
95% match

A Bridge to Higher Mathematics (Textbooks in Mathematics)

CRC Press

£165.85 12 Jan 2026
Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics: 001 (Princeton Paperback)
95% match

Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics: 001 (Princeton Paperback)

Princeton University Press

£27.06 21 Apr 2026
The Tools of Mathematical Reasoning (Pure and Applied Undergraduate Texts)
95% match

The Tools of Mathematical Reasoning (Pure and Applied Undergraduate Texts)

£67.95 10 Feb 2026
Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)
95% match

Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)

Cambridge University Press

£46.91 28 Feb 2026