书目信息 机读格式(MARC)
Automated reasoning :
| ISBN： | 3-540-42254-4 |
|---|---|
| 编目源： | DLC DLC |
| 语种代码： | eng |
| 会议名称： | IJCAR 2001 |
| 题名： | Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / Rajeev Gor鈋, Alexander Leitsch, Tobias Nipkow (eds.). |
| 出版发行项： | Berlin ; London : Springer, 2001. |
| 载体形态： | xv, 708 p. : ill. ; 24 cm. |
| 一般附注： | Includes index. |