Introduction to Propositional Satisfiability

Introduction to Propositional Satisfiability

Introduction to Propositional Satisfiability

Barcode: 09781848901391
Brand: College Publications
Best Priced
sold by Hive Books
Hive Books
£16.00
Visit Store
Hive Books
Hive Books
£16.00
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From College Publications

Introducao Ao Calculo Lambda
Introducao Ao Calculo Lambda
from £14.00
Quantum Heresies
Quantum Heresies
from £16.00
Resolution of Conflicts and Normative Loops in the Talmud (Hardback)
Resolution of Conflicts and Normative Loops in the Talmud (Hardback)
from £22.32
The Normative Structure of Responsibility By Federico L G Faroldi
The Normative Structure of Responsibility By Federico L G Faroldi
from £14.49
Causality and Probability in the Sciences By Russo F Williamson J
Causality and Probability in the Sciences By Russo F Williamson J
from £21.78
Monsters and Philosophy By Wolfe C T (Paperback) 9781904987307
Monsters and Philosophy By Wolfe C T (Paperback) 9781904987307
from £21.91
Chapters in Mathematics. From Pi to Pell
Chapters in Mathematics. From Pi to Pell
from £14.00
Set Theory
Set Theory
from £17.85
Learn Prolog Now!
Learn Prolog Now!
from £15.00
Logica e Estrutura
Logica e Estrutura
from £13.25
Piketty's Capital in the Twenty-First Century
Piketty's Capital in the Twenty-First Century
from £15.50
David Hilbert y los fundamentos de la geometria (1891-1905)
David Hilbert y los fundamentos de la geometria (1891-1905)
from £13.25
Dictionary of Argumentation : A Introduction to Argumentation Studies
Dictionary of Argumentation : A Introduction to Argumentation Studies
from £21.50
Abstract Consequence and Logics : Essays in Honor of Edelcio G. de Souza
Abstract Consequence and Logics : Essays in Honor of Edelcio G. de Souza
from £13.75
Foundations of Combinatory Logic : (grundlagen Der Kombinatorischen Logik)
Foundations of Combinatory Logic : (grundlagen Der Kombinatorischen Logik)
from £15.00
Artificial Intelligence. What is it, exactly?
Artificial Intelligence. What is it, exactly?
from £13.00
Picturing Programs. An Introduction to Computer Programming
Picturing Programs. An Introduction to Computer Programming
from £23.00
Logic and Computation : Essays in Honour of Amilcar Sernadas
Logic and Computation : Essays in Honour of Amilcar Sernadas
from £5.89
The Lambda Calculus. Its Syntax and Semantics
The Lambda Calculus. Its Syntax and Semantics
from £21.50
Argumentation and Reasoned Action. Volume 1
Argumentation and Reasoned Action. Volume 1
from £26.55

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
from £49.15
HANDBOOK OF SATISFIABILITY
HANDBOOK OF SATISFIABILITY
from £180.00
Propositional Quantifiers
Propositional Quantifiers
from £14.45
Propositional Content
Propositional Content
from £19.78
Propositional Quantifiers
Propositional Quantifiers
from £16.75
Propositional Quantifiers
Propositional Quantifiers
from £14.45
Non-Propositional Intentionality
Non-Propositional Intentionality
from £57.00
Non-Propositional Intentionality
Non-Propositional Intentionality
from £49.09
Propositional Logics 3rd edition
Propositional Logics 3rd edition
from £23.99
Modality and Propositional Attitudes
Modality and Propositional Attitudes
from £26.34
Modality and Propositional Attitudes
Modality and Propositional Attitudes
from £26.34
The Propositional Logic of Avicenna : A Translation from al-Shifa?: al-Qiyas with Introduction, Commentary and Glossary
The Propositional Logic of Avicenna : A Translation from al-Shifa?: al-Qiyas with Introduction, Commentary and Glossary
from £63.33
Bridging Constraint Satisfaction and Boolean Satisfiability
Bridging Constraint Satisfaction and Boolean Satisfiability
from £38.24
Pragmatic Markers and Propositional Attitude
Pragmatic Markers and Propositional Attitude
from £78.20
Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
from £38.24
Sheaves, Games, and Model Completions : A Categorical Approach to Nonclassical Propositional Logics
Sheaves, Games, and Model Completions : A Categorical Approach to Nonclassical Propositional Logics
from £76.08
Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
from £101.58
Space in Weak Propositional Proof Systems
Space in Weak Propositional Proof Systems
from £38.24
High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
from £76.08
SAT 2005 : Satisfiability Research in the Year 2005
SAT 2005 : Satisfiability Research in the Year 2005
from £110.08