Proceedings are published in the RISC Technical-Report series as RISC Report 04-14 and are available online from this page.
Download proceedings: PDF, compressed PostScript.
Bibliographic data:
@Proceedings{IJCAR_WS7, title = {{Computer-Supported Mathematical Theory Development}}, year = 2004, editor = {Benzm\"uller, Christoph and Windsteiger, Wolfgang}, number = {04-14}, series = {RISC Report Series}, month = {July}, organization = {RISC Institute, University of Linz}, note = {Proceedings of the first ``Workshop on Computer-Supported Mathematical Theory Development'' held in the frame of IJCAR'04 in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5. Available at http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/.} }