We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£112.81
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£113 today · all-time low £112 (Sep 2026) · usually £112
World Scientific Publishing Company 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
Price data last checked 21 day(s) ago - will refresh soon
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 70 days · 70 data points (no recent data)
Price data last checked 21 day(s) ago - will refresh soon
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 70 days • 4 price levels
Price Analysis
Most common price: £123 (44 days, 62.9%)
Price range: £112 - £123
Price levels: 4 different prices over 70 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 9810240015
- Domain
- Amazon UK
- Release Date
- 01 February 2000
- Listed Since
- 11 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 1)
North Holland
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
World Scientific Publishing Company
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)
Springer
Cambridge Logic in Computer Science - 2nd Edition Textbook
Cambridge University Press
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Logic Programming: A Classified Bibliography
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
The Lvov-Warsaw School. Past and Present (Studies in Universal Logic)
Birkhauser
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
A K Peters/CRC Press
Nonmonotonic Logic: Context-Dependent Reasoning - Springer AI
Springer
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 for Computer Science and Artificial Intelligence
Wiley
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 for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)
Springer
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
The Lvov-Warsaw School. Past and Present (Studies in Universal Logic)
Birkhauser
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
Springer
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
Directions in Relevant Logic: 1 (Reason and Argument, 1)
Springer
Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic
VDM Verlag
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
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