Record:   Prev Next
書名 Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin
出版項 Cambridge, Mass. : MIT Press, c1991
國際標準書號 0262121565
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 C7383    在架上    30330000094826
 數學所圖書室  QA76.9.A96 C65 1991    在架上    30340200302697
說明 viii, 727 p. : ill. ; 26 cm
附註 Includes bibliographical references
主題 Automatic theorem proving
Logic programming
Robinson, J. A. (John Alan)
Alt Author Robinson, J. A. (John Alan)
Lassez, Jean-Louis
Plotkin, G. (Gordon), 1946-
Record:   Prev Next