Foundations of computing
| データ種別 | 図書 |
|---|---|
| 出版情報 | Cambridge, Mass : MIT Press |
子書誌情報を非表示
| 1 | Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo Cambridge, Mass. : MIT Press , c1991 |
| 2 | Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis Cambridge, Mass. : MIT Press , c1993 |
| 3 | Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte : hc. - Cambridge, Mass. : MIT Press , c2000 |
書誌詳細を非表示
| 書誌ID | BB00099968 |
|---|---|
| 別書名 | 異なりアクセスタイトル:Foundations of computing series |
| 一般注記 | Michael Garey and Albert Meyer editors |
| NCID | BA07248970 |
この資料の利用統計
全貸出数：0回
(1年以内の貸出：0回)
※2000年4月1日以降