計算機向きの様相論理の公理化
沢村, 一; 前田, 隆
北海道大學工學部研究報告, 1978, 88, 153-162
Permalink : https://hdl.handle.net/2115/41477
このアイテムのアクセス数:1,286件（2026-08-17 22:17 集計）
閲覧可能ファイル
| ファイル |
フォーマット |
サイズ |
閲覧回数 |
説明 |
|
88_153-162
|
pdf
|
498 KB |
1,729
|
|
論文情報
ファイル出力
EndNote Basic出力
Mendeley出力
| アクセス権 |
|
| URI |
|
| タイトル |
|
|
|
| 著者 |
|
|
|
| 言語 |
|
| 発行日 |
|
| 出版者 |
|
|
|
| 収録物名 |
|
|
|
| 巻(号) |
|
| ページ |
|
| 資源タイプ |
|
| 出版タイプ |
|
| PISSN |
|
| NCID |
|
