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

Corporate Authors: IJCAR 2001 (2001 Siena, Italy
Group Author: Leitsch Alexander 1952-; Nipkow Tobias 1958-; Goré Rajeev
Published: Springer,
Publication Dates: c2001.
Call Number: TP181-532/I615/2001