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