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. [bibtex] [pdf] [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. [bibtex] [pdf]
[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. [bibtex] [pdf]
Powered by bibtexbrowser