标签: 用空格间隔多个标签,如:小说文学余秋雨

定理机器证明, 刘叙华, 姜云飞编著
ISBN:	价格：￥2.15
语种:	chi
题名:	定理机器证明 / 刘叙华, 姜云飞编著 ,
出版发行:	出版地：北京出版社：科学出版社出版日期： 1987.10
载体形态:	280页 19cm
主题:	定理证明
中图分类:	TP11 版次：
中图分类:	TP18 版次： 2
中图分类:	TP18 版次： 3
主要著者:	刘叙华编著
主要著者:	姜云飞编著
索书号	TP11/23
标签:	没有标签
随书附盘：
相关主题:	摄动理论系统理论联机系统多级递阶系统静态最优化静态系统模糊系统自动化系统人操作性能灰色系统主分量图象文法人动态最佳化更多...
相关资源:
分享资源:	分享到... 新浪微博豆瓣腾讯微博 Qzone

馆藏信息
预订信息
虚拟书架
marc信息
豆瓣书评
图书目录
试读信息
内容简介
著者简介

限定所在馆: 限定所在馆藏地点: 限定馆藏状态:

HEA|  |01029nam0 2200289   45  
001|  |0191010605
005|  |1920010403081714
010|  |□d￥2.15
091|  |□aCN□b15031.870
100|  |□a20010403d1987    em y0chiy0121    ea
101|0 |□achi
102|  |□aCN□b110000
105|  |□ay   z   000yy
106|  |□ar
200|10|□a定理机器证明□f刘叙华, 姜云飞编著□Ading li -
   |  |ji qi zheng ming
210|  |□a北京□c科学出版社□d1987.10
215|  |□a280页□d19cm
606| 0|□a定理证明
690|  |□aTP11
690|  |□aTP18□v2
690|  |□aTP18□v3
701| 0|□a刘叙华□4编著□Aliu xu hua
701| 0|□a姜云飞□4编著□Ajiang yun fei
801| 2|□aCN□bMT□c199812
905|  |□aMT□fTP11/23□b0387029□t152872-
   |  |0□kj□b0627387□t1528719□kj
908|  |□a0082178□b128387□cMT□d0□e2□fT-
   |  |P11/23□gMT□hyt□i□j2.15□k□l1□m-
   |  |□n0□o平装□p1528721□q1990-01-01□r-
   |  |2.15□t□u□v999_CN01□w1990-01-01□y订购□zyt
908|  |□aM0082178□b1900031620□cMT□d□e-
   |  |2□fTP11/23□gMT□hyt□i□j2.15□k□-
   |  |l1□m□n□o平装□p□q1990-01-01□r□t□u-
   |  |□v999_CN01□w1990-01-01□y□zyt

名称:
描述:
公开/私有:	公开私有

定理机器证明, 刘叙华, 姜云飞编著