Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. K. J. Barwise: Axioms for abstract model theory; Ann. Math. Logic vol. 7 (1974), 221–265
2. I. Dahn, C. Wernhard: First Order Proof Problems Extracted from an Article in the MIZAR Mathematical Library. RISC-Linz Report Series, No. 97-50, pp. 58–62, Johannes Kepler Universität Linz, 1997.
3. B. I. Dahn, J. Gehne, Th. Honigmann, A. Wolf: Integration of Automated and Interactive Theorem Proving in Ilf. In Proc. CADE-14, pp. 57–60, Springer, 1997.
4. H. Ganzinger, C. Meyer, C. Weidenbach: Soft Typing for Ordered Resolution. In Proc. CADE-14, pp. 321–335, Springer, 1997.
5. Mellish, C. S.: Implementing Systemic Classification by Unification. Comp. Ling. 14, 1988, pp 40–51
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献