主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 返回瀏覽 設限/排序 其他查詢
   
儲存已註記</a> <span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-3 之 3)
International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
1
 book jacket

預約
 Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
Berlin : Springer, 2001
E - TOC / Resources
 2001
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I2.3 A9395 2000  LNCS 2061    館內使用    30330000058565
 數學所圖書室  QA75.5 .L42  v.2061    在架上    30340200424988
2
 book jacket

 Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
Berlin ; New York : Springer, c2001
E - TOC / Resources
 c2001
電子書

館藏地: 中央研究院
3
 book jacket

 Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
Berlin ; New York : Springer, c2001
E - TOC / Resources
 c2001
電子書

館藏地: 數學所圖書室
儲存已註記</a> <span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
重新查詢 返回瀏覽 設限/排序 其他查詢

主畫面 | 輔助說明 | English Mode