MIT Press series in the foundations of computing
| データ種別 | 図書 |
|---|---|
| 出版者 | Cambridge, Mass. : The MIT Press |
子書誌情報を非表示
| 1 | Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz Cambridge, Mass. : MIT Press , c1987 |
書誌詳細を非表示
| 別書名 | 異なりアクセスタイトル:Foundations of computing series |
|---|---|
| 書誌ID | BB10000044 |
| NCID | BA0001568X |