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. |