Front cover image for Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

IJCAR 2001, Rajeev Goré, Alexander Leitsch, Tobias Nipkow
Print Book, English, 2001
Springer, New York, 2001