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

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
書名 Logic programming : proceedings of the fourth international conference / edited by Jean-Louis Lassez
出版項 Cambridge, Mass. : MIT Press, c1987
國際標準書號 0262121255 (set)
026212128X (pbk. : v. 1)
0262121298 (pbk. : v. 2)
0263121298 (pbk. : v. 2)
0262620588 (pbk.)
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D1.1 L8325 1987  V.1    館內使用    30330000055926
 資訊所圖書室會議論文區  Proc D1.1 L8325 1987  V.2    館內使用    30330000055934
說明 2 v. : ill. ; 23 cm
系列 MIT Press series in logic programming
附註 Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987
Includes bibliographies and index
主題 Logic programming -- Congresses
Logic programming iis
Alt Author Lassez, Jean-Louis
International Conference on Logic Programming (4th : 1987 : University of Melbourne)
Alt Title Proceedings of the fourth international conference
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode