We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£108.60
It has never been this cheap. We have no record of a lower price.
£109 today · cheaper than every other day in the last 3 months
Springer SAT 2005: Satisfiability Research - Springer AI Computing
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 46 days · 46 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 46 days • 2 price levels
Price Analysis
Most common price: £112 (45 days, 97.8%)
Price range: £109 - £112
Price levels: 2 different prices over 46 days
Description
Key Features
SAT 2005 covers recent progress in propositional satisfiability solving methods and their applications to verification problems.
Builds on the highly successful SAT 2000 volume, presenting five years of advances in automated reasoning research.
Explores propositional satisfiability as a formalism for solving hardware and software verification challenges.
Addresses automated reasoning techniques developed through decades of artificial intelligence research history.
Published by Springer, a leading academic publisher in computing and computer science subjects.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9400787154
- Domain
- Amazon UK
- Release Date
- 03 December 2014
- Listed Since
- 03 December 2014
Barcode
No barcode data available
Similar Products You Might Like
SAT 2005: Satisfiability Research in the Year 2005
Springer
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
Logic for Computer Science and Artificial Intelligence
Wiley
Springer Decision Procedures - Algorithmic Computer Science Book
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Mathematical Logic through Python
Cambridge University Press
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
Cambridge University Press
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Symbolic Logic (Palgrave Philosophy Today)
MACMILLAN
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
The Logic of Sortals: A Conceptualist Approach: 408 (Synthese Library, 408)
Springer
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Cambridge University Press
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press