ALONZO: Higher-Order Reasoning Agents for Mathematics. Benzmüller, C. Technical Report 2004. EURYI project proposal
![ALONZO: Higher-Order Reasoning Agents for Mathematics [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @techreport{R27,
Author = {Christoph Benzm{\"u}ller},
Note = {EURYI project proposal},
Pages = {1-37},
Title = {ALONZO: Higher-Order Reasoning Agents for
Mathematics},
url = {http://christoph-benzmueller.de/papers/R23.pdf},
Year = 2004,
}Downloads: 0
{"_id":"68MjWrrbKWj8Hz5ct","bibbaseid":"benzmller-alonzohigherorderreasoningagentsformathematics-2004","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"note":"EURYI project proposal","pages":"1-37","title":"ALONZO: Higher-Order Reasoning Agents for Mathematics","url":"http://christoph-benzmueller.de/papers/R23.pdf","year":"2004","bibtex":"@techreport{R27,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Note =\t {EURYI project proposal},\n Pages =\t {1-37},\n Title =\t {ALONZO: Higher-Order Reasoning Agents for\n Mathematics},\n url = {http://christoph-benzmueller.de/papers/R23.pdf},\n Year =\t 2004,\n}\n\n","author_short":["Benzmüller, C."],"key":"R27","id":"R27","bibbaseid":"benzmller-alonzohigherorderreasoningagentsformathematics-2004","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/R23.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["alonzo","higher","order","reasoning","agents","mathematics","benzmüller"],"title":"ALONZO: Higher-Order Reasoning Agents for Mathematics","year":2004}