Computer-Supported Mathematical Theory Development. Benzmüller, C. & Windsteiger, W., editors Volume of RISC Report SeriesRISC Institute, University of Linz. 2004. 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.Preprint bibtex @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,
}
Downloads: 0
{"_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}