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