Propositional logic : deduction and algorithms /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, U.K. ; New York, NY :
Cambridge University Press,
1999
|
| Edition: | English ed |
| Series: | Cambridge tracts in theoretical computer science
48 Cambridge tracts in theoretical computer science |
| Subjects: |
Table of Contents:
- 1 Introduction to Propositional Logic
- 2. Data Structures and Normal Forms
- 3. Satisfiability
- 4. Resolution
- 5. Horn Logic
- 6. Calculi
- 7. Quantified Formulas.