Search: Automatic Learning Of Proof Methods In Proof Planning
2003
[3]Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In The Logic Journal of the IGPL, volume 11, number 6, pp. 647-674, 2003. (Preprint: http://christoph-benzmueller.de/papers/J7.pdf) [bibtex] [doi]
2002
[2]Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, pp. 1-2, 2002. (Preprint: http://christoph-benzmueller.de/papers/W28.pdf) [bibtex]
[1]Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), Technical report, University of Birmingham, School of Computer Science, number CSRP-02-05, pp. 1-34, 2002. (Preprint: http://christoph-benzmueller.de/papers/R16.pdf) [bibtex]
Powered by bibtexbrowser