@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,
}

{"_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}