Logic and Its Applications - Banerjee, Mohua; Kanade, Takeo; Seth, Anil; Kittler, Josef (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Artificial Intelligence