Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings - Buchberger, Bruno; Buchberger, Bruno; Campbell, John A.; Campbell, John A. (Springer Berlin Heidelberg : Imprint: Springer, 2004)