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

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 其他查詢
   
Record:   Prev Next
作者 Workshop on Foundations of Logic and Functional Programming (1986 : Trento, Italy)
書名 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
出版項 Berlin : Springer-Verlag, c1988
國際標準書號 0387191291 (U.S. : pbk.)
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.1 F771 1986  LNCS 306    館內使用    30330000060231
說明 iv, 218 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 306
附註 Includes bibliographies
主題 Functional programming (Computer science) -- Congresses
Logic, Symbolic and mathematical -- Congresses
Logic iisf
Alt Author Boscarol, M. (Mauro), 1947-
Carlucci Aiello, L. (Luigia), 1946-
Levi, G. (Giorgio), 1942-
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 其他查詢


主畫面 | 輔助說明 | English Mode