Record:   Prev Next
書名 Logic programming, functions, relations, and equations / [edited by] Doug DeGroot, Gary Lindstrom
出版項 Englewood Cliffs, N.J. : Prentice-Hall, c1986
國際標準書號 0135399580 : $39.95
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  D1.1 L8325:2    在架上    30330000048954
說明 vii, 533 p. : ill. ; 24 cm
附註 Includes bibliographies and index
主題 Logic programming
Logic, Symbolic and mathematical
Alt Author DeGroot, Doug
Lindstrom, Gary
Record:   Prev Next