Distinguished dissertations in computer science
| データ種別 | 図書 |
|---|---|
| 出版情報 | Cambridge : Cambridge University Press |
子書誌情報を非表示
| 1 | Logic programming : operational semantics and proof theory / James H. Andrews Cambridge : Cambridge University Press , 1992 |
書誌詳細を非表示
| 書誌ID | BB00168875 |
|---|---|
| NCID | BA13438471 |
この資料の利用統計
全貸出数：0回
(1年以内の貸出：0回)
※2000年4月1日以降