"Interfaces: Explorations in Logic, Language and Computation: ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers (Lecture Notes in Computer ... Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Thomas Icard, Reinhard Muskens)