We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£143.89
This is the most expensive it has ever been. Walk away.
£144 today · previous high £144 · all-time low £92
Satisfiability Problem: Theory and Applications (Series in Discrete Mathematics and Theoretical Computer Science)
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 28 days · 28 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 28 days • 2 price levels
Price Analysis
Most common price: £92 (27 days, 96.4%)
Price range: £92 - £144
Price levels: 2 different prices over 28 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 0821804790
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 19 February 1998
- Listed Since
- 17 October 2006
Barcode
No barcode data available
Similar Products You Might Like
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Lecture Notes in Computer Science, 12831)
Springer
Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))
Sage Publishing
SAT 2005: Satisfiability Research in the Year 2005
Springer
SAT 2005: Satisfiability Research - Springer AI Computing
Springer
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)
Springer
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Cambridge University Press - The Mathematics of Logic Textbook
Cambridge University Press
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
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
Springer Decision Procedures - Algorithmic Computer Science Book
Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Springer Set Theory for Computing - Computer Science Book
Springer
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Series Number 82)
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
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Logic for Computer Science and Artificial Intelligence
Wiley
Modal Semirings and Applications (Trends in Logic, 72)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Reverse Mathematics: Problems, Reductions, and Proofs
Springer
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
Cambridge University Press