Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Gore, Rajeev; Gore, Rajeev; Leitsch, Alexander; Leitsch, Alexander; Nipkow, Tobias; Nipkow, Tobias (Springer Berlin Heidelberg : Imprint: Springer, 2001)