We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£325.00
It has never been this cheap. We have no record of a lower price.
£325 today · cheaper than every other day in the last 3 months
North Holland Handbook of Automated Reasoning (Volume 1)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 50 days · 50 data points (no recent data)
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 Distribution
Price distribution over 50 days • 1 price levels
Price Analysis
Most common price: £325 (50 days, 100.0%)
Price range: £325 - £325
Price levels: 1 different prices over 50 days
Description
Product Specifications
- Brand
- North Holland
- Format
- hardcover
- ASIN
- 0444508139
- Domain
- Amazon UK
- Release Date
- 26 June 2001
- Listed Since
- 15 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press
Handbook of Automated Reasoning (Volume II)
Elsevier
The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1: THE - VOLUME II: APPLYING AUTOMATED REASONING TO PUZZLES
World Scientific Publishing Company
Cambridge Logic in Computer Science - 2nd Edition Textbook
Cambridge University Press
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
Elsevier
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Springer
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)
Springer
Nonmonotonic Logic: Context-Dependent Reasoning - Springer AI
Springer
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
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
Modal Semirings and Applications (Trends in Logic, 72)
Springer
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
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
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Automated Model Building: 31 (Applied Logic Series, 31)
Springer
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
Theory Reasoning in Connection Calculi: 1527 (Lecture Notes in Computer Science, 1527)
Springer
Elsevier Lectures on the Curry-Howard Isomorphism Volume 149
Elsevier
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)
Routledge
Logic for Applications (Texts in Computer Science)
Springer
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press