Logic for Programming, Artificial Intelligence, and Reasoning - Fermüller, Christian G.; Kanade, Takeo; Voronkov, Andrei (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Artificial Intelligence