Bruno Buchberger & John A. Campbell
Artificial Intelligence and Symbolic Computation
7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings
Artificial Intelligence and Symbolic Computation
7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings