@proceedings{E6,
  Editor =	 {Benzm{\"u}ller, Christoph and Windsteiger, Wolfgang},
  Keywords =	 {own, CALCULEMUS, Symb. Computation and
                  Symb. Reasoning},
  Note =	 {Proceedings of the first ``Workshop on
                  Computer-Supported Mathematical Theory Development''
                  held in the frame of IJCAR 2004 in Cork, Ireland,
                  July 5, 2004. ISBN 3-902276-04-5.},
  Number =	 {04-14},
  Organization = {RISC Institute, University of Linz},
  Series =	 {RISC Report Series},
  Title =	 {{Computer-Supported Mathematical Theory
                  Development}},
  url_preprint = {http://christoph-benzmueller.de/papers/E6.pdf},
  Year =	 2004,
}

{"_id":"QjX5f7GZHrBNJvjQf","bibbaseid":"benzmller-windsteiger-computersupportedmathematicaltheorydevelopment-2004","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Windsteiger"],"firstnames":["Wolfgang"],"suffixes":[]}],"keywords":"own, CALCULEMUS, Symb. Computation and Symb. Reasoning","note":"Proceedings of the first ``Workshop on Computer-Supported Mathematical Theory Development'' held in the frame of IJCAR 2004 in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5.","number":"04-14","organization":"RISC Institute, University of Linz","series":"RISC Report Series","title":"Computer-Supported Mathematical Theory Development","url_preprint":"http://christoph-benzmueller.de/papers/E6.pdf","year":"2004","bibtex":"@proceedings{E6,\n Editor =\t {Benzm{\\\"u}ller, Christoph and Windsteiger, Wolfgang},\n Keywords =\t {own, CALCULEMUS, Symb. Computation and\n Symb. Reasoning},\n Note =\t {Proceedings of the first ``Workshop on\n Computer-Supported Mathematical Theory Development''\n held in the frame of IJCAR 2004 in Cork, Ireland,\n July 5, 2004. ISBN 3-902276-04-5.},\n Number =\t {04-14},\n Organization = {RISC Institute, University of Linz},\n Series =\t {RISC Report Series},\n Title =\t {{Computer-Supported Mathematical Theory\n Development}},\n url_preprint = {http://christoph-benzmueller.de/papers/E6.pdf},\n Year =\t 2004,\n}\n\n","editor_short":["Benzmüller, C.","Windsteiger, W."],"key":"E6","id":"E6","bibbaseid":"benzmller-windsteiger-computersupportedmathematicaltheorydevelopment-2004","role":"editor","urls":{" preprint":"http://christoph-benzmueller.de/papers/E6.pdf"},"keyword":["own","CALCULEMUS","Symb. Computation and Symb. Reasoning"],"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","calculemus","symb. computation and symb. reasoning"],"search_terms":["computer","supported","mathematical","theory","development"],"title":"Computer-Supported Mathematical Theory Development","year":2004}