@proceedings{RISC2231,
author = {B. Buchberger and J. Campbell},
title = {{Artificial Intelligence and Symbolic Computation}},
language = {english},
series = {Lecture Notes in Artificial Intelligence},
volume = {3249},
publisher = {Springer Berlin-Heidelberg},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-232},
year = {2004},
month = {September},
annote = {2004-09-22-C},
editor = {B. Buchberger and J. Campbell},
length = {285},
conferencename = {AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation, RISC, Johannes Kepler University, Austria)}
}