Logic for Programming, Artificial Intelligence, and Reasoning - Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Artificial Intelligence