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.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 4120
ISBN: 9783540397304