Artificial Intelligence and Symbolic Computation - Calmet, Jacques; Ida, Tetsuo; Kanade, Takeo; Wang, Dongming (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Artificial Intelligence