MARC状态:已编 文献类型:西文图书 浏览次数:23
- 题名/责任者:
- Computer Sceince Logic : Proceedings CSL'90 (1990 : 4th : heidelberg )
- 出版发行项:
- London Springer-Verlag 1991
- ISBN:
- 3-540-54487-9
- 载体形态项:
- VIII, 399c25cm
- 中图法分类号:
- TP302.2
全部MARC细节信息>>
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架