• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
非线性代数方程组与定理机器证明
    
 
作者: 杨路 著
分册:  
出版信息: 上海   上海科技教育出版社  1996.09
页数: 203页
开本: 20cm
丛书名: 非线性科学丛书
单 册:
中图分类: O241.7 , TP18 , O175.14
科图分类: 51.812
主题词: 非线性方程:代数方程-数值计算 , 代数方程:非线性方程-数值计算 , 数值计算-非线性方程:代数方程 , 定理证明 , 数学分析
电子资源:
ISBN: 7-5428-1379-X
000 01126nam2 2200349 45
001 0198008727
005 20020917082529.4
010    @a7-5428-1379-X@b精装@d¥14
100    @a19980212d1996 emky0chiy0121 ea
101 0  @achi@deng
102    @aCN@b310000
105    @ay z 000yy
106    @ar
200 10 @a非线性代数方程组与定理机器证明@Afei xian xing dai shu fang cheng zu yu ding li ji qizheng ming@f杨 路等 著
210    @a上海@c上海科技教育出版社@d1996.09
215    @a203页@d20cm
225 2  @a非线性科学丛书@dAdvanced series in nonlinear science@zeng
300    @a上海市新闻出版局学术著作出版基金资助出版
410  0 @120010@a非线性科学丛书
510 1  @aNonlinear algebraic equation system and automated theorem proving@zeng
606    @a非线性方程:代数方程-数值计算
606    @a代数方程:非线性方程-数值计算
606    @a数值计算-非线性方程:代数方程
606    @a定理证明
606 0  @a数学分析
690    @aO241.7@v3
690    @aTP18@v3
690    @aO175.14
692    @a51.812@v2
701  0 @a杨路@Ayang lu@4著
801  0 @aCN@bNLC@c19980225
905    @f3@b247721-723@dO175.14@e1
    
    非线性代数方程组与定理机器证明/杨 路等 著.-上海:上海科技教育出版社,1996.09
    203页;20cm.-(非线性科学丛书=Advanced series in nonlinear science)
    上海市新闻出版局学术著作出版基金资助出版
    
    ISBN 7-5428-1379-X(精装):¥14
    
●
相关链接


正题名:非线性代数方程组与定理机器证明     索取号:O175.14/1         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 247721   202477211   样本书库/4110070504/ [索取号:O175.14/1] 在馆    
2 247722   202477220   理科库/ [索取号:O175.14/1] 在馆    
3 247723   202477239   理科库/3110530903/ [索取号:O175.14/1] 在馆    
商丘师范学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有