Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22.24, 2004 Proceedings - Bruno Buchberger, John Campbell ((Lecture Notes in Computer Science))