Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings - Calmet, Jacques; Ida, Tetsuo; Wang, Dongming (Lecture Notes in Computer Science,, 2006)