儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Pettorossi, A (Alberto), 1947-
1
book jacket

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
International Workshopon Meta-Programming in Logic (3rd : 1992 : Uppsala, Sweden)
Berlin ; New York : Springer-Verlag, c1992
 
c1992
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D1.6 M587 1992  LNCS 649    館內使用    30330000088166
 數學所圖書室  QA75.5 .L42  v.649    在架上    30340200301319
2
book jacket

Meta-programmming in logic third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
International Workshop, META-92 (1992 : Uppsala, Sweden)
Berlin ; New York : Springer-Verlag, 1992
1992
電腦檔

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