An edition of Propositional logic (1999)
Propositional logic
deduction and algorithms
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Publish Date
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