|
Search the dblp DataBase
Li Dafa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Li Dafa
A Natural Deduction Automated Theorem Proving System. [Citation Graph (0, 0)][DBLP] CADE, 1992, pp:668-672 [Conf]
- Li Dafa
Intelligent CAI Course in the First-Order Logic. [Citation Graph (0, 0)][DBLP] ICCAL, 1990, pp:67-72 [Conf]
- Li Dafa
An Application to Teaching in Logic Course of ATP Based Natural Deduction. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:463-465 [Conf]
- Li Dafa
Automated Natural Deduction Prover and Experiments. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1997, pp:153-157 [Conf]
- Li Dafa, Peifa Jia, Xinxin Li
Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:102, n:1-2, pp:1-26 [Journal]
- Li Dafa
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:1, pp:105-134 [Journal]
Search in 0.001secs, Finished in 0.001secs
|