MARC状态：已编 文献类型：西文图书 浏览次数：44
- 题名/责任者:
- Proceeidngs International Conference o Automated Deductin (19909 : 10th : Kaiserslautern )
- 出版发行项:
- London Springer-Verlag 19990
- ISBN:
- 3-540-52885-7
- 载体形态项:
- XVI,688c25cm
- 中图法分类号:
- TP301-53
全部MARC细节信息>>
外文书库(影)（密集书库）
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架