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