Calmet, Jacques.
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / [electronic resource] :
edited by Jacques Calmet, Tetsuo Ida, Dongming Wang.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4120 0302-9743 ; .
9783540397304
Computer science
Electronic data processing
Computational complexity
Algebra--Data processing
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Symbolic and Algebraic Manipulation
Numeric Computing
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
Q334 / C35 2006