Search: Towards Learning New Methods In Proof Planning
2001
[3] Towards Learning New Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Proceedings of the CADE-17 Workshop: Automated Deduction in the Context of Mathematics, pp. 1-12, 2001. [bibtex] [pdf]
2000
[2] Towards Learning new Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), Technical report, University of Birmingham, School of Computer Science, number CSRP-00-09, pp. 1-16, 2000. [bibtex] [pdf]
[1] Towards Learning New Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 142-159, 2000. [bibtex] [pdf]
Powered by bibtexbrowser