書名 : 計算機怎樣解幾何題 :談談自動推理 /
紀錄類型 : 書目-語言資料,印刷品: 單行本
正題名[資料類型標示]/作者 : 計算機怎樣解幾何題 :張景中著.
其他題名 : 談談自動推理 /
其他題名 : 談談自動推理
作者 : 張 景中.
版本項 : 初版.
出版者 : 臺北市 :牛頓,2001[民90]
面頁冊數 : 194面 ;21公分.
標題 : 幾何
ISBN : 9576275881 (平裝) :
集叢項 : 院士科普書系 ;4
LEADER 00654cam a2200241 i 4500
001 664063
003 TNML
005 20120525220131.0
008 180323s2001 ch e ||| d
015 $a90002183
020 $a9576275881 (平裝) :$cNT$250$
035 $a(TNML)OLD1154426
035 $a196892
040 $eCCR
084 $a316.01$2ncsclt
084 $a316.01$b1165$2ncsclt
100 1 $a張 景中.
245 10$a計算機怎樣解幾何題 :$b談談自動推理 /$c張景中著.
246 33$a談談自動推理
250 $a初版.
260 $a臺北市 :$b牛頓,$c2001[民90]
263 $a0102
300 $a194面 ;$c21公分.
490 1 $a院士科普書系 ;$v4
504 $a參考書目:面
650 7$a幾何$2lcstt
650 7$aLISP(電腦程式語言)$2csht
830 0$a院士科普書系 ;$v4