Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings - AISC 2006 2006); Calmet, Jaques; Ida, Tetsuo; Wang, Dongming; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Numeric Computing; Symbolic and Algebraic Manipulation