Logics in Artificial Intelligence - Hölldobler, Steffen; Lutz, Carsten; Siekmann, Jörg; Wansing, Heinrich (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Artificial Intelligence