Tools for Teaching Logic - Blackburn, Patrick; Ditmarsch, Hans; Kanade, Takeo; Manzano, María; Soler-Toscano, Fernando; van Ditmarsch, Hans (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Artificial Intelligence