江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



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

题名/责任者:
王者之路:机器证明及其应用/吴文俊主编
出版发行项:
长沙:湖南科学技术出版社,1999
ISBN及定价:
7-5357-2858-8/RMB15
载体形态项:
195页:照片;20cm
并列正题名:
Theorem proving by machine and its application
其它题名:
机器证明及其应用
丛编项:
攀登计划普及丛书 The climbing program popular series;5
个人责任者:
吴文俊 主编
学科主题:
数学理论-研究
学科主题:
机器证明-研究
非控制主题词:
王者 之路 机器 证明 及其 应用
中图法分类号:
TP24
中图法分类号:
O1-0
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 定位信息 书刊状态 还书位置
TP24/18 A0430133   剔旧图书临时书库(909)     导航 非可借 剔旧图书临时书库(909)
TP24/18 201955018   文理学院图书馆     导航 赠送出 文理学院图书馆
TP24/18 A0430132   文理学院图书馆     导航 赠送出 文理学院图书馆
TP24/18 201955027   自科借阅2(T)(113室)     导航 可借
TP24/18 A0430131   样本密集书库     导航 阅览
显示全部馆藏信息
借阅趋势

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