Li Dafa

Publication Activity (10 Years)

Years Active: 1990-1997
Publications (10 Years): 0

Publications

Li Dafa
Automated Natural Deduction Prover and Experiments. TABLEAUX (1997)
Li Dafa
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving. J. Autom. Reason. 18 (1) (1997)
Li Dafa
A Natural Deduction Automated Theorem Proving System. CADE (1992)
Li Dafa
An Application to Teaching in Logic Course of ATP Based Natural Deduction. LPAR (1992)
Li Dafa
Intelligent CAI Course in the First-Order Logic. ICCAL (1990)