計算機怎樣解幾何題 : 談談自動推理 /

• 作者：張景中著
• 出版者：牛頓
• 出版地：臺北市 :
• 語文：中文
• 叢書名：院士科普書系 ;
• ISBN/ISSN/ISRC：9576275881 ((平裝)) :
• 作者：張景中
• 索書號：316.01