主畫面
|
輔助說明
|
重新查詢
|
English Mode
中研院圖書館首頁
SearchType
書名
作者
關鍵字
國際標準號碼(ISBN/ISSN)
主題
中國圖書分類號
美國國會圖書館分類號
十進分類號(杜威/何日章)
條碼
Search
作者 (1-2 之 2)
International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)
1
預約
Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers
International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)
Berlin : Springer, 2007
E - TOC / Resources
2007
館藏地: 資訊所圖書室
館藏地
索書號
處理狀態
OPAC 訊息
條碼
資訊所圖書室叢書區
SerPro I2.3 A9395 2006
LNCS 4869
館內使用
30330000199591
2
Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers
International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
E - TOC / Resources
2007
館藏地: 資訊所圖書室
主畫面
|
輔助說明
|
English Mode