書名 : 計算機怎樣解幾何題 :談談自動推理 /
紀錄類型 : 書目-語言資料,印刷品: 單行本
正題名[資料類型標示]/作者 : 計算機怎樣解幾何題 :張景中著.
其他題名 : 談談自動推理 /
其他題名 : 談談自動推理
作者 : 張 景中
版本項 : 初版.
出版者 : 臺北市 :牛頓,2001[民90]
面頁冊數 : 194面 :圖, 表 ;22公分.
標題 : LISP(電腦程式語言)
ISBN : 9576275881 (平裝) :
集叢項 : 院士科普書系 ;4
LEADER 00605cam a2200205 i 4500
001 152795
003 TNML
005 20120608185603.0
008 180320s2001 ch e chi d
020 $a9576275881 (平裝) :$cNT$250$
035 $a(TNCL)OLD1444464
035 $a688137
040 $aBIB$bchi$cCIP?CCR
084 $a316.01$b8746$2ncsclt
100 1 $a張 景中
245 10$a計算機怎樣解幾何題 :$b談談自動推理 /$c張景中著.
246 31$a談談自動推理
246 33$a談談自動推理
250 $a初版.
260 $a臺北市 :$b牛頓,$c2001[民90]
300 $a194面 :$b圖, 表 ;$c22公分.
490 1 $a院士科普書系 ;$v4
650 7$aLISP(電腦程式語言)$2csht
650 7$a幾何$2lcstt
830 0$a院士科普書系 ;$v4