"Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings" - читать интересную книгу автора (Frank Pfenning)