 | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page