"Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings " - читать интересную книгу автора (Rajeev Gore, Alexander Leitsch, Tobias Nipkow)