Author:
Stolzenburg Frieder,Thomas Bernd
Reference21 articles.
1. Baumgartner, P. and U. Furbach: 1994, PROTEIN: A PROver with a Theory Extension INterface’. In: A. Bundy (ed.): Proceedings of the 12th International Conference on Automated Deduction. Nancy, pp. 769–773, Springer, Berlin, Heidelberg, New York.
2. Baumgartner, P., U. Furbach, and F Stolzenburg: 1997, Computing answers with model elimination’. Artificial Intelligence
90 (1–2), 135–176.
3. Baumgartner, P. and E Stolzenburg: 1995, Constraint Model Elimination and a PTTP-Implementation’. In: P. Baumgartner, R. Hähnle, and J. Posegga (eds.):Proceedings of the 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods. pp. 201–216, Springer, Berlin, Heidelberg, New York.
4. Bibel, W.: 1982, Automated Theorem Proving. Braunschweig, Wiesbaden: Vieweg.
5. Bürckert, H.-J.: 1991, A Resolution Principle for a Logic with Restricted Quantifiers, LNAI 568. Berlin, Heidelberg, New York: Springer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献