Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Lecture Notes in Computer Science, 4120, Band 4120)
Die Proceedings der achten AISC-Konferenz in Peking präsentieren innovative Ansätze zur KI‑Entwicklung, formalen Logik und symbolischer Berechnung ...