MARC状态：已编 文献类型：西文图书 浏览次数：72
- 题名/责任者:
- Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540422544 (pbk. : alk. paper) :
- 载体形态项:
- xv, 708 p. : ill. ; 24 cm.
- 变异题名:
- IJCAR 2001
- 丛编统一题名:
- Lecture notes in computer science ; 2083.
- 丛编统一题名:
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- 会议名称:
- IJCAR 2001 1st : 2001 : Siena, Italy)
- 附加个人名称:
- Nipkow, Tobias, 1958-
- 附加个人名称:
- Gore, Rajeev.
- 附加个人名称:
- Leitsch, Alexander, 1952-
- 论题主题:
- Automatic theorem proving-Congresses.
- 论题主题:
- Computer logic-Congresses.
- 中图法分类号:
- TP18-53
- 书目附注:
- Includes bibliographical references and index.
- 随书光盘:
全部MARC细节信息>>
东5层4区