"Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence" - читать интересную книгу автора (Moshe Vardi, Andrei Voronkov)