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. (Url (preprint): http://christoph-benzmueller.de/papers/W6.pdf) [bibtex]
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. (Url (preprint): http://christoph-benzmueller.de/papers/R13.pdf) [bibtex]
[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. (Url (preprint): http://christoph-benzmueller.de/papers/C9.pdf) [bibtex]
Powered by bibtexbrowser