プログラム停止性に関するある種の検証システム
浦崎, 道教; 柳, 繁; 新保, 勝 他
北海道大學工學部研究報告, 1976, 81, 87-91
Permalink : https://hdl.handle.net/2115/41374
このアイテムのアクセス数:1,112件（2026-03-17 05:58 集計）
閲覧可能ファイル
| ファイル |
フォーマット |
サイズ |
閲覧回数 |
説明 |
|
81_87-92
|
pdf
|
237 KB |
1,025
|
|
論文情報
ファイル出力
EndNote Basic出力
Mendeley出力
| アクセス権 |
|
| URI |
|
| タイトル |
|
|
|
| 著者 |
|
|
|
|
|
|
|
|
|
| 言語 |
|
| 発行日 |
|
| 出版者 |
|
|
|
| 収録物名 |
|
|
|
| 巻(号) |
|
| ページ |
|
| 資源タイプ |
|
| 出版タイプ |
|
| PISSN |
|
| NCID |
|
