We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£71.00
Academic Press The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial
Price data last checked 147 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Same price for 17 weeks. Today is much like next week.
£71 for 122 days straight · last change was Sep 2025
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 584 days • 584 data points (No recent data available)
Price Distribution
Price distribution over 584 days • 7 price levels
Price Analysis
Most common price: £71 (306 days, 52.4%)
Price range: £56 - £86
Price levels: 7 different prices over 584 days
Description
Product Specifications
- Brand
- Academic Press
- Format
- hardcover
- ASIN
- 0127634207
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 16 August 1996
- Listed Since
- 06 February 2007
Barcode
No barcode data available
Similar Products You Might Like
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
World Scientific Publishing Company
Handbook of Automated Reasoning (Volume 1)
North Holland
The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1
World Scientific Publishing Company
Essays in Honor of Carl G. Hempel: A Tribute on the Occasion of his Sixty-Fifth Birthday: 24 (Synthese Library, 24)
Springer
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press
Studies and Exercises in Formal Logic (Languages and Linguistics)
Rules for Reasoning
Psychology Press
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
North Holland
The Routledge International Handbook of Thinking and Reasoning
Routledge
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques: 6 (Massive Computing, 6)
Springer
Rules for Reasoning
Psychology Press
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Routledge Logic Works - Introduction to Formal Logic Book
Routledge
Logic Works: A Rigorous Introduction to Formal Logic
Routledge
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
Springer
An Invitation to Formal Reasoning: The Logic of Terms
Routledge
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Elsevier
The International Handbook of Thinking and Reasoning (Routledge International Handbooks)
Routledge
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
Logic in Computer Science: Modelling and Reasoning about Systems
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
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
Who Is Rational?: Studies of individual Differences in Reasoning
Psychology Press