MARC状态：已编 文献类型：西文图书 浏览次数：28
- 题名/责任者:
- 10th International Conference on Automated Deduction : proceedings : Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).
- 出版发行项:
- Berlin : Springer-Verlag, c1990.
- ISBN:
- 3540528857
- ISBN:
- 0387528857 (U.S.)
- 载体形态项:
- xvi, 688 p. : ill. ; 24 cm.
- 变异题名:
- Automated deduction
- 丛编题名:
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 449
- 会议名称:
- International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
- 附加个人名称:
- Stickel, M. E. (Mark E.), 1947-
- 论题主题:
- Logic, Symbolic and mathematical-Congresses.
- 论题主题:
- Automatic theorem proving-Congresses.
- 中图法分类号:
- TP18-53
- 书目附注:
- Includes biblioigraphical references and index.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP18-53/E21:10TH(90) | 700015203 |  西文密集
|
可借 | 西文密集 |
显示全部馆藏信息