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