"Automated Deduction CADE-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: ... 13th " - читать интересную книгу автора (Michael A. McRobbie, J.K. Slaney)