 | 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 |
