Propositional logic

Propositional logic
Details
- OL Work ID
- OL4817327W
Subjects
Computer algorithmsComputer logicAlgorithmesAlgorithmeAutomatische bewijsvoeringLogique propositionnelleLogique (Informatique)AlgoritmenStructure de donnéesAlgorithme résolutionDémonstration automatique de théorèmesDéductionCalcul propositionnelAussagenlogikSatisfiabilitéClause HornLogique informatiqueMathematical logic