| FindBook |
有 1 項符合
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design的圖書 |
 |
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design 作者：Rubin 出版社：Hutson Street Press 出版日期：2025-05-22 語言：英文 規格：平裝 / 176頁 / 23.39 x 15.6 x 0.97 cm / 普通級/ 初版 |
博客來| 圖書館借閱 |
| 國家圖書館 | 全國圖書書目資訊網 | 國立公共資訊圖書館 | 電子書服務平台 | MetaCat 跨館整合查詢 |
| 臺北市立圖書館 | 新北市立圖書館 | 基隆市公共圖書館 | 桃園市立圖書館 | 新竹縣公共圖書館 |
| 苗栗縣立圖書館 | 臺中市立圖書館 | 彰化縣公共圖書館 | 南投縣文化局 | 雲林縣公共圖書館 |
| 嘉義縣圖書館 | 臺南市立圖書館 | 高雄市立圖書館 | 屏東縣公共圖書館 | 宜蘭縣公共圖書館 |
| 花蓮縣文化局 | 臺東縣文化處 |
|
|
圖書介紹 - 資料來源：博客來 評分：
圖書名稱：A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
|
