Propositional logic

Name: Propositional logic
Author: H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann

by H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann

Popularity 1

No description available.

Computer algorithmsComputer logicAlgorithmesAlgorithmeAutomatische bewijsvoeringLogique propositionnelleLogique (Informatique)AlgoritmenStructure de donnéesAlgorithme résolutionDémonstration automatique de théorèmesDéduction