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

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
International Workshop on Conditional and Typed Rewriting Systems (2nd : 1990 : Montreal, Canada)
Berlin ; New York : Springer-Verlag, c1991
 
c1991
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.2 C7453 1990  LNCS 516    館內使用    30330000080353
 數學所圖書室  QA75.5 .L42  v.516    在架上    30340200298994
2
book jacket

Conditional and typed rewriting systems 2nd international CTRS workshop, Montreal, Canada, June 11-14,1990 : proceedings

Berlin ; New York : Springer-Verlag, 1991
1991
電腦檔

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