検証条件のある証明システム"PROVER"について
柳, 繁; 浦崎, 道教; 佐藤, 義治 他
北海道大學工學部研究報告, 1977, 83, 157-164
Permalink : https://hdl.handle.net/2115/41399
このアイテムのアクセス数:1,162件（2026-03-17 05:58 集計）
閲覧可能ファイル
論文情報
ファイル出力
EndNote Basic出力
Mendeley出力
| アクセス権 |
|
| URI |
|
| タイトル |
|
|
|
| 著者 |
|
|
|
|
|
|
|
|
|
| 言語 |
|
| 発行日 |
|
| 出版者 |
|
|
|
| 収録物名 |
|
|
|
| 巻(号) |
|
| ページ |
|
| 資源タイプ |
|
| 出版タイプ |
|
| PISSN |
|
| NCID |
|
