author = {Benzmüller Christoph and Windsteiger Wolfgang},
title = {{Computer-Supported Mathematical Theory Development}},
language = {english},
address = {University College Cork, Ireland},
isbn_issn = {ISBN 3-902276-04-5},
year = {2004},
month = {July},
note = {In the frame of IJCAR'04},
editor = {Christoph Benzmüller and Wolfgang Windsteiger},
sponsor = {Colog Net},
length = {108},
conferencename = {Workshop on Computer-Supported Mathematical Theory Development},
url = {http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/}