The CALCULEMUS Final Report. Benzmüller, C. & Hahn, C. Saarland University, Germany, 2004. Final report of the Marie Curie Research Training Network CALCULEMUS within the EU 5th frameworkPreprint bibtex 1 download @book{R36,
Author = {Christoph Benzm{\"u}ller and Corinna Hahn},
Keywords = {own, CALCULEMUS, Symb. Computation and
Symb. Reasoning},
Note = {Final report of the Marie Curie Research Training
Network CALCULEMUS within the EU 5th framework},
Pages = {1-57},
Publisher = {Saarland University, Germany},
Title = {The CALCULEMUS Final Report},
url_preprint = {http://christoph-benzmueller.de/papers/R36.pdf},
Year = 2004,
}
Downloads: 1
{"_id":"NXmTBgnLD7BuNSZr7","bibbaseid":"benzmller-hahn-thecalculemusfinalreport-2004","author_short":["Benzmüller, C.","Hahn, C."],"bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Corinna"],"propositions":[],"lastnames":["Hahn"],"suffixes":[]}],"keywords":"own, CALCULEMUS, Symb. Computation and Symb. Reasoning","note":"Final report of the Marie Curie Research Training Network CALCULEMUS within the EU 5th framework","pages":"1-57","publisher":"Saarland University, Germany","title":"The CALCULEMUS Final Report","url_preprint":"http://christoph-benzmueller.de/papers/R36.pdf","year":"2004","bibtex":"@book{R36,\n Author =\t {Christoph Benzm{\\\"u}ller and Corinna Hahn},\n Keywords =\t {own, CALCULEMUS, Symb. Computation and\n Symb. Reasoning},\n Note =\t {Final report of the Marie Curie Research Training\n Network CALCULEMUS within the EU 5th framework},\n Pages =\t {1-57},\n Publisher =\t {Saarland University, Germany},\n Title =\t {The CALCULEMUS Final Report},\n url_preprint = {http://christoph-benzmueller.de/papers/R36.pdf},\n Year =\t 2004,\n}\n\n","author_short":["Benzmüller, C.","Hahn, C."],"key":"R36","id":"R36","bibbaseid":"benzmller-hahn-thecalculemusfinalreport-2004","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R36.pdf"},"keyword":["own","CALCULEMUS","Symb. Computation and Symb. Reasoning"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","calculemus","symb. computation and symb. reasoning"],"search_terms":["calculemus","final","report","benzmüller","hahn"],"title":"The CALCULEMUS Final Report","year":2004,"downloads":1}