• 首頁
  • 圖書館資源
  • 資源查詢及瀏覽
  • 館藏資源查詢

館藏資源查詢

重新查詢 回瀏覽畫面顯示MARC標記書目

檢索點： 關鍵字： 限制可取得館藏

排序選項： 
上一筆 下一筆 
作者O'Donnell, Michael J., 1952-
書名Equational logic as a programming language / Michael J. O'Donnell
出版項Cambridge, Mass. : MIT Press, c1985
說明296 p. : ill. ; 24 cm
系列MIT Press series in the foundations of computing
MIT Press series in the foundations of computing
附註Bibliography: p. [277]-284
Includes index
主題Programming languages (Electronic computers)
Logic, Symbolic and mathematical
Equations, Theory of
ISBN/ISSN026215028X
 QRCode
上一筆 下一筆 
加入個人書庫 回報書目問題 轉入EndNote
館藏地 索書號 條碼 處理狀態  
林口分館第三書庫001.6424 Od5B20190115可外借 調閱服務

Go to Top