Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science, 2250, Band 2250)
Ein Sammelband aus der achten LPAR-Konferenz in Havanna, der aktuelle Forschung zu logischer Programmierung, KI und formalen Argumentationssystemen zu ...