Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings

Rajeev Goré Alexander Leitsch Tobias Nipkow Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings IJCAR Lecture Notes in Computer Science 2083 Springer 2001 3-540-42254-4 https://doi.org/10.1007/3-540-45744-5 db/conf/cade/ijcar2001.html