Towards Learning new Methods in Proof Planning. Jamnik, M., Kerber, M., & Benzmüller, C. Technical Report CSRP-00-09, University of Birmingham, School of Computer Science, 2000.
![Towards Learning new Methods in Proof Planning [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Preprint bibtex
Preprint bibtex @techreport{R13,
Author = {Mateja Jamnik and Manfred Kerber and Christoph
Benzm{\"u}ller},
Institution = {University of Birmingham, School of Computer
Science},
Number = {CSRP-00-09},
Pages = {1-16},
Title = {Towards Learning new Methods in Proof Planning},
url_preprint = {http://christoph-benzmueller.de/papers/R13.pdf},
Year = 2000,
}Downloads: 0
{"_id":"59Mfy2s8fCLF29YSm","bibbaseid":"jamnik-kerber-benzmller-towardslearningnewmethodsinproofplanning-2000","author_short":["Jamnik, M.","Kerber, M.","Benzmüller, C."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Mateja"],"propositions":[],"lastnames":["Jamnik"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"institution":"University of Birmingham, School of Computer Science","number":"CSRP-00-09","pages":"1-16","title":"Towards Learning new Methods in Proof Planning","url_preprint":"http://christoph-benzmueller.de/papers/R13.pdf","year":"2000","bibtex":"@techreport{R13,\n Author =\t {Mateja Jamnik and Manfred Kerber and Christoph\n Benzm{\\\"u}ller},\n Institution =\t {University of Birmingham, School of Computer\n Science},\n Number =\t {CSRP-00-09},\n Pages =\t {1-16},\n Title =\t {Towards Learning new Methods in Proof Planning},\n url_preprint = {http://christoph-benzmueller.de/papers/R13.pdf},\n Year =\t 2000,\n}\n\n","author_short":["Jamnik, M.","Kerber, M.","Benzmüller, C."],"key":"R13","id":"R13","bibbaseid":"jamnik-kerber-benzmller-towardslearningnewmethodsinproofplanning-2000","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R13.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["towards","learning","new","methods","proof","planning","jamnik","kerber","benzmüller"],"title":"Towards Learning new Methods in Proof Planning","year":2000}