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

| 暂存书架(0) | 登录



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

题名/责任者:
王者之路:机器证明及其应用/吴文俊主编
出版发行项:
长沙:湖南科学技术出版社,1999
ISBN及定价:
7-5357-2858-8/CNY15.00
载体形态项:
195页,[1]页图版:肖像;20cm
并列正题名:
Theorem proving by machine and its application
其它题名:
机器证明及其应用
丛编项:
攀登计划普及丛书 The climbing program popular series;5
个人责任者:
吴文俊, 1919- 主编
学科主题:
数学理论-研究
学科主题:
机器证明-研究
中图法分类号:
O1-0
科图法分类号:
51.37
相关题名附注:
封面英文题名:Theorem proving by machine and its application
书目附注:
有书目(第175-182页)
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O1-0/W851 004131523   密集书库     可借 密集书库
O1-0/W851 004137262   密集书库     可借 密集书库
显示全部馆藏信息
借阅趋势

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