dblp.uni-trier.dewww.uni-trier.de

Li Dafa Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
3EELi Dafa: A Natural Deduction Automated Theorem Proving System. CADE 1992: 668-672
2EELi Dafa: An Application to Teaching in Logic Course of ATP Based Natural Deduction. LPAR 1992: 463-465
1990
1EELi Dafa: Intelligent CAI Course in the First-Order Logic. ICCAL 1990: 67-72

Coauthor Index

1Peifa Jia [6]
2Xinxin Li [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)