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

Bibliographic Details
Corporate Author:	IJCAR (Conference) Siena, Italy)
Other Authors:	Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2083. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Computer logic > Congresses.

Remote Storage