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