Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006 : Beijing, China, September 20-22, 2006 : proceedings - Calmet, Jacques, 1941- (Lecture notes in computer science, 2006)