儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
書名 (1-2 之 2)
Lecture notes in computer science ; 533
1
book jacket

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany)
Berlin ; New York : Springer-Verlag, c1991
 
c1991
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 C7383 1990  LNCS 533    館內使用    30330000080775
 數學所圖書室  QA75.5 .L42  v.533    在架上    30340200299166
2
book jacket

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany)
Berlin ; New York : Springer-Verlag, 1991
1991
電腦檔

館藏地: 資訊所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄