| 暂存书架(0) | 登录

MARC状态：已编 文献类型：中文图书 浏览次数：58

题名/责任者:
非线性代数方程组与定理机器证明/杨路等著
出版发行项:
上海:上海科技教育出版社,1996.9
ISBN及定价:
7-5428-1379-X 精装/￥14
载体形态项:
203页;20cm
并列正题名:
Nonlinear algebraic equation system and automated theorem proving
丛编项:
非线性科学丛书 Advanced series in nonlinear science
个人责任者:
杨路 著
学科主题:
非线性方程:代数方程-数值计算
学科主题:
代数方程:非线性方程-数值计算
学科主题:
数值计算-非线性方程:代数方程
学科主题:
定理证明
中图法分类号:
O175
科图法分类号:
51.812
一般附注:
上海市新闻出版局学术著作出版基金资助出版
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O175/4601 70732942   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O175/4601 70732943   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O175/4601 70732944   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O175/4601 70732945   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O175/4601 70732941   样本书阅览室（密集书库136）     非可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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