Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings - Buchberger, Bruno; Campbell, J. A., 1940- (Springer, 2004)