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

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 O'Donnell, Michael J., 1952-
書名 Equational logic as a programming language / Michael J. O'Donnell
出版項 Cambridge, Mass. : MIT Press, c1985
國際標準書號 026215028X
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  D3.1 O26    在架上    30330000046495
說明 296 p. : ill. ; 24 cm
系列 MIT Press series in the foundations of computing
附註 Includes index
Bibliography: p. [277]-284
主題 Programming languages (Electronic computers)
Logic, Symbolic and mathematical
Programming language iisf
Equational logic iisf
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode