Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings Gore Rajeev Heftet / 2001 / Engelsk
