名称:
描述:
公开/私有: 公开 私有
标签: 用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:

计算机怎样解几何题:谈谈自动推理, 张景中著

ISBN:
7-81029-930-1 价格: CNY15.00
语种:
chi
题名:
计算机怎样解几何题 / 张景中著 ,
出版发行:
出版地: 北京 出版社: 清华大学出版社 出版日期: 2000
载体形态:
14,195页 20cm
附注内容:
国家重点图书
其它题名:
谈谈自动推理
主题:
机器证明 普及读物
主题:
人工智能 普及读物
中图分类:
TP18-49 版次: 3
主要著者:
张景中
索书号
TP18-49/1
标签:
相关资源:
分享资源:
限定所在馆: 限定所在馆藏地点: 限定馆藏状态:
HEA|  |01493nam0 2200337   45 
001|  |012000019279
005|  |20010131102005.0
010|  |□a7-81029-930-1□dCNY15.00
100|  |□a20000728d2000    em y0chiy0110    ea
101|0 |□achi
102|  |□aCN□b110000□b440000
105|  |□ay   z   000yy
106|  |□ar
200|1 |□a计算机怎样解几何题□e谈谈自动推理□f张景中著
210|  |□a北京□c清华大学出版社□a广州□c暨南大学出版社□d2000
215|  |□a14,195页□d20cm
225|2 |□a院士科普书系□h第一辑□v4
300|  |□a国家重点图书
410| 0|□12001 □a院士科普书系
517|1 |□a谈谈自动推理
606|  |□a机器证明□x普及读物
606|  |□a人工智能□x普及读物
690|  |□aTP18-49□v3
701| 0|□a张景中□4著
801| 0|□aCN□b福建省图书馆□c
905|  |□aMT□fTP18-49/1
908|  |□a1914537□b252992□cMT□d0□e2□fT-
   |  |P18-49/1□gMT□hyt□i□j15.0□k□l2-
   |  |□m□n0□o平装□p0□q2002-02-10□r15.0-
   |  |□t□u□v999_CN01□w2002-02-10□y邮购□zyt
908|  |□a1890390□b252992□cMT□d0□e2□fT-
   |  |P18-49/1□gMT□hyt□i□j15.0□k□l1-
   |  |□m□n0□o平装□p0□q2001-05-16□r15.0-
   |  |□t□u□v999_CN01□w2001-05-16□y订购□zyt
908|  |□aM1914537□b1900014936□cMT□d□e-
   |  |2□fTP18-49/1□gMT□hyt□i□j15□k□-
   |  |l2□m□n□o平装□p□q2002-02-10□r□t□u-
   |  |□v999_CN01□w2002-02-10□y□zyt
908|  |□aM1890390□b1900014936□cMT□d□e-
   |  |2□fTP18-49/1□gMT□hyt□i□j15□k□-
   |  |l1□m□n□o平装□p□q2001-05-16□r□t□u-
   |  |□v999_CN01□w2001-05-16□y□zyt
999|  |□Zchq□z20000728163831□Mzyj□m20-
   |  |010131 10:20:05□Gly□g20010207111413