An edition of Propositional logic (1999)
Propositional Logic
Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Publish Date
August 28, 1999
Publisher
Cambridge University Press
Language
eng
Pages
415
Description:
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