Record:   Prev Next
作者 International Symposium on Programming Languages : Implementations, Logics and Programs (7th : 1995 : Utrecht, The Netherlands)
書名 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra (eds.)
出版項 Berlin ; New York : Springer, c1995
國際標準書號 354060359X
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.1 P9645 1995  LNCS 982    館內使用    30330000105481
說明 xi, 466 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 982
附註 Includes bibliographical references and author index
主題 Programming languages (Electronic computers) -- Congresses
Logic programming -- Congresses
Logic programming iis
Alt Author Hermenegildo, Manuel
Swierstra, Doaitse
Alt Title PLILP '95
Record:   Prev Next