安徽理工大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态:审校 文献类型:中文图书 浏览次数:5

题名/责任者:
数学机械化/吴文俊著
出版发行项:
北京:科学出版社,2002.12
ISBN及定价:
7-03-010764-0/CNY58.00
载体形态项:
380页;24cm
丛编项:
数学机械化丛书
个人责任者:
吴文俊
学科主题:
数学
中图法分类号:
O1
一般附注:
《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助 中国科学院科学出版基金资助出版
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O1/W851 000593432  - 自然科学书库     可借
O1/W851 000593433  - 自然科学书库     可借
O1/W851 000744523  - 自然科学书库     可借
O1/W851 000744524  - 自然科学书库     可借
O1/W851 000593431  - 合肥校区书库     可借 合肥校区书库
O1/W851 000744522  - 合肥校区书库     可借 合肥校区书库
O1/W851 000593430  - 密集书库     可借 密集书库
O1/W851 000593434  - 密集书库     可借 密集书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架