DMCA
This talk will provide a tour of lightning visits of applications of logic: • Logic Programming and Functional Programming • Logic in Linguistics • Knowledge Bases • Propositional Logic Theorem Proving (2010)
by
Horn Clauses