We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£103.23
Cambridge University Press Handbook of Practical Logic and Automated Reasoning
YES3065827
Price data last checked 59 day(s) ago - refreshing...
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.
£103 today · cheaper than every other day in the last 3 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
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 32 days • 32 data points (No recent data available)
Price Distribution
Price distribution over 32 days • 3 price levels
Price Analysis
Most common price: £103 (21 days, 65.6%)
Price range: £103 - £113
Price levels: 3 different prices over 32 days
Description
Key Features
Handbook of Practical Logic and Automated Reasoning
Product Type: ABIS_BOOK
Product Specifications
- Model
- YES3065827
- Format
- hardcover
- ASIN
- 0521899575
- Domain
- Amazon UK
- Release Date
- 12 March 2009
- Listed Since
- 09 June 2008
Barcode
No barcode data available
Similar Products You Might Like
Handbook of Automated Reasoning (Volume 1)
North Holland
Logic in Computer Science: Modelling and Reasoning about Systems
The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1
World Scientific Publishing Company
Handbook of Philosophical Logic: Volume 14
Springer
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
North Holland
Logic for Computer Science and Artificial Intelligence
Wiley
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)
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
Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic
Bloomsbury Academic
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
Logic for Applications (Texts in Computer Science)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Simple Formal Logic: With Common-Sense Symbolic Techniques
Routledge
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press
Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)
Oxford University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
Logic Programming: A Classified Bibliography
Springer
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Elsevier
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
Springer
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
Springer