"Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, ... Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Martin Giese, Arild Waaler)