"Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings" - читать интересную книгу автора (Robert Nieuwenhuis)