Jaques Calmet & Tetsuo Ida
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings