author = {B. Buchberger},
title = {{Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy}},
booktitle = {{Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation)}},
language = {english},
series = {Springer Lecture Notes in Artificial Intelligence},
volume = {3249},
pages = {236--250},
publisher = {Copyright: Springer, Berlin-Heidelberg},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-232},
year = {2004},
month = {22-24 September},
annote = {2004-09-22-A},
editor = {B. Buchberger and John Campbell},
refereed = {yes},
institution = {RISC, Johannes Kepler University, Austria},
length = {14}