---

Automated reasoning : first International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
(Lecture notes in computer science ; 2083 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2001
形態	xv, 708 p. : ill. ; 24 cm
著者標目	*International Joint Conference on Automated Reasoning (2001 : Siena, Italy) Goré, Rajeev Leitsch, Alexander, 1952- Nipkow, Tobias, 1958-
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00618521

 類似資料