Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. R. Abraham, J. E. Marsden, and T. Ratiu. Manifolds, Tensor Analysis, and Applications. Springer-Verlag, second edition, 1988.
2. Matthias Baaz and Christian G. Fermüller. Non-elementary speedups between different versions of tableaux. In Peter Baumgartner, Reiner Hähnle, and Joachim Posegga, editors, Proc. 4th Workshop on Deduction with Tableaux and Related Methods, St. Goar, Germany, LNCS 918, pages 217–230. Springer-Verlag, 1995.
3. Dave Barker-Plummer. Gazing: An approach to the problem of definition and lemma use. Journal of Automated Reasoning, 8(3):311–344, 1992.
4. Dave Barker-Plummer and Alex Rothenberg. The Gazer theorem prover. In D. Kapur, editor, Proceedings of the Eleventh International Conference on Automated Deduction, volume 607 of Lecture Notes in Computer Science, pages 726–730. Springer-Verlag, 1992.
5. P. Baumgartner. A model elimination calculus with built-in theories. In H.-J. Ohlbach, editor, Proceedings of the 16th German AI-Conference (GWAI-92), pages 30–42. Springer-Verlag, 1992. LNAI 671.