主畫面
|
輔助說明
|
重新查詢
|
English Mode
中研院圖書館首頁
SearchType
書名
作者
關鍵字
國際標準號碼(ISBN/ISSN)
主題
中國圖書分類號
美國國會圖書館分類號
十進分類號(杜威/何日章)
條碼
Search
作者 (1-2 之 2)
International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
1
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
Berlin ; New York : Springer, c1997
E - TOC / Resources
c1997
館藏地: 中央研究院
2
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
Berlin ; New York : Springer, c1998
E - TOC / Resources
c1998
館藏地: 數學所圖書室
主畫面
|
輔助說明
|
English Mode