2000 |
6 | | Li Dafa,
Peifa Jia,
Xinxin Li:
Simplifying von Plato's Axiomatization of Constructive Apartness Geometry.
Ann. Pure Appl. Logic 102(1-2): 1-26 (2000) |
1997 |
5 | | Li Dafa:
Automated Natural Deduction Prover and Experiments.
TABLEAUX 1997: 153-157 |
4 | | Li Dafa:
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving.
J. Autom. Reasoning 18(1): 105-134 (1997) |
1992 |
3 | | Li Dafa:
A Natural Deduction Automated Theorem Proving System.
CADE 1992: 668-672 |
2 | | Li Dafa:
An Application to Teaching in Logic Course of ATP Based Natural Deduction.
LPAR 1992: 463-465 |
1990 |
1 | | Li Dafa:
Intelligent CAI Course in the First-Order Logic.
ICCAL 1990: 67-72 |