"Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings (Lecture Notes in Artificial Intelligence 2392) " - читать интересную книгу автора (Andreĭ Voronkov)