Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings - Calmet, Jacques; Ida, Tetsuo; Wang, Dongming (Springer Berlin Heidelberg, 2006)