"Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence" - читать интересную книгу автора (Matthias Baaz, Andrei Voronkov)