Mendeley出力
The MIT Press series in artificial intelligence
| データ種別 | 図書 |
|---|---|
| 出版者 | Cambridge, Mass. : MIT Press |
| 本文言語 | und |
子書誌情報を非表示
| 1 | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen Cambridge, Mass. : MIT Press , c1990 |
書誌詳細を非表示
| 別書名 | その他のタイトル:MIT Press series in artificial intelligence その他のタイトル:Artificial intelligence |
|---|---|
| 書誌ID | B000166172 |
| NCID | BA00010813 |
この資料の利用統計
全貸出数：0回
(1年以内の貸出：0回)
※2019年3月27日以降