| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
几何定理机器证明的基本原理：初等几何部分, 吴文俊著 |
|
|
ISBN:
|
价格： ￥1.75 |
|
语种:
|
chi |
|
题名:
|
几何定理机器证明的基本原理 / 吴文俊著 , |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1984 |
|
载体形态:
|
280页 20cm |
|
主题:
|
几何-定理证明:机器证明 |
|
主题:
|
定理证明:机器证明-几何 |
|
主题:
|
机器证明:定理证明-几何 |
|
中图分类:
|
O18 版次： 3 |
|
主要著者:
|
吴文俊 著 |
|
索书号
|
O18/13 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01229nam0 2200301 45 001| |0149057719 005| |1920010613161842 010| |□d￥1.75 091| |□aCN□b15031.586 100| |□a20010613d1984 em y0chiy0121 ea 101|0 |□achi 102| |□aCN□b110000 105| |□ay z 000yy 106| |□ar 200|10|□a几何定理机器证明的基本原理□Aji he ding li- | | ji qi zheng ming de ji ben yu- | |an li□e初等几何部分□f吴文俊著 210| |□a北京□c科学出版社□d1984 215| |□a280页□d20cm 225|2 |□a计算机科学丛书□f王湘浩主编 410| 0|□120010□a计算机科学丛书 606| |□a几何-定理证明:机器证明 606| |□a定理证明:机器证明-几何 606| |□a机器证明:定理证明-几何 690| |□aO18□v3 701| 0|□a吴文俊□Awu wen jun□4著 801| 2|□aCN□bMT 905| |□aMT□fO18/13□b0155478□t1236754- | |□kwe□b0155486□t1242541□kwe□b03- | |81720□t1236755□kj□b0420261□t1242540□kj 908| |□a0155486□b365010□cMT□d0□e2□fO- | |18/13□gMT□hyt□i□j1.75□k□l1□m□- | |n□o平装□p1242541□q2002-05-31□r1.- | |75□t□u□v999_CN01□w2002-05-31□y订购□zyt 908| |□aM0155486□b1900049556□cMT□d□e- | |2□fO18/13□gMT□hyt□i□j1.75□k□l- | |1□m□n□o平装□p□q2002-05-31□r□t□u□- | |v999_CN01□w2002-05-31□y□zyt