| 暂存书架(0) | 登录

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

题名/责任者:
不等式机器证明与自动发现/杨路，夏壁灿著
出版发行项:
北京:科学出版社,2008
ISBN及定价:
978-7-03-020721-0 精装/CNY45.00
载体形态项:
10,226页;25cm
丛编项:
数学机械化丛书;11
个人责任者:
杨路 著
个人责任者:
夏壁灿 著
学科主题:
不等式-机器证明
中图法分类号:
O178-39
一般附注:
中国科学院科学出版基金资助出版
提要文摘附注:
本书分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类等内容。
电子资源:
http://www.bookuu.com/kgsm/ts/2008/01/11/1234637.shtml
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O178-39/460 71255621  - 样本书阅览室（密集书库136）     非可借
O178-39/460 71255622  - 自然科学第二书库（7F）     可借 自然科学第二书库（7F）
O178-39/460 71255623  - 自然科学第二书库（7F）     可借 自然科学第二书库（7F）
O178-39/460 71255624  - 自然科学第二书库（7F）     可借 自然科学第二书库（7F）
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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