An edition of Propositional logic
(1999)
Propositional logic
deduction and algorithms
by H. Kleine Büning, Hans Kleine Büning, and Theodor Lettmann
- 1 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer algorithms, Computer logic, Algorithmes, Algorithme, Automatische bewijsvoering, Logique propositionnelle, Logique (Informatique), Algoritmen, Structure de données, Algorithme résolution, Démonstration automatique de théorèmes, Déduction, Calcul propositionnel, Aussagenlogik, Satisfiabilité, Clause Horn, Logique informatique, Mathematical logic, Mathematical theory of computation, Science/Mathematics, Computers - General Information, Algorithms (Computer Programming), Philosophy Of Mathematics, Computers, Programming - General, Discrete Mathematics, Computer Science, Logic, Computers / Programming / Software Development, Computer Bks - General Information, Logic, symbolic and mathematical| Edition | Availability |
|---|---|
1
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
August 28, 1999, Cambridge University Press
Hardcover
in English
0521630177 9780521630177
|
zzzz
|
2
Propositional logic: deduction and algorithms
1999, Cambridge University Press
in English
0521630177 9780521630177
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 385-402) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| December 25, 2021 | Edited by ImportBot | import existing book |
| July 31, 2019 | Edited by MARC Bot | associate edition with work OL4817327W |
| July 7, 2019 | Edited by MARC Bot | import existing book |
| December 3, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |