Artificial Intelligence and Symbolic Computation
Calmet, Jacques.
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540397304
Computer science.; Electronic data processing.; Computational complexity.; Algebra; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Symbolic and Algebraic Manipulation.; Numeric Computing.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540397304
Computer science.; Electronic data processing.; Computational complexity.; Algebra; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Symbolic and Algebraic Manipulation.; Numeric Computing.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.