We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£86.10
A K Peters/CRC Press Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
Price data last checked 22 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£86 today · previous high £86 · all-time low £86
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 69 days • 69 data points (No recent data available)
Price Distribution
Price distribution over 69 days • 1 price levels
Price Analysis
Most common price: £86 (69 days, 100.0%)
Price range: £86 - £86
Price levels: 1 different prices over 69 days
Description
Key Features
Used Book in Good Condition
Product Specifications
- Brand
- A K Peters/CRC Press
- Format
- hardcover
- ASIN
- 1568811454
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 02 April 2001
- Listed Since
- 20 October 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)
Springer
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
Cambridge University Press
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
The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1
World Scientific Publishing Company
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
Functional Interpretation Of Logical Deduction, The
World Scientific Publishing Company
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
Springer
Logic in Computer Science: Modelling and Reasoning about Systems
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
Springer
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
Handbook of Automated Reasoning (Volume 1)
North Holland
Labelled Deduction: 17 (Applied Logic Series, 17)
Springer
Automated Deduction in Equational Logic and Cubic Curves: 1095 (Lecture Notes in Computer Science, 1095)
Springer
The Mental Models Theory of Reasoning: Refinements and Extensions
Routledge
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press
Routledge Logical Abilities in Children Vol 3 - Deductive Inference
Routledge
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
Springer
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
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)
World Scientific Publishing Company
Theory Reasoning in Connection Calculi: 1527 (Lecture Notes in Computer Science, 1527)
Springer
Labelled Deduction: 17 (Applied Logic Series, 17)
Springer
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
Essentials of Symbolic Logic, Third Edition
Broadview Press Inc