Nobuo Kawaguchi : Research Activities
河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。 連絡先 : kawaguti[at]nagoya-u.jp
| 番号 | 128 |
| 著者 | 中山毅, 河口信夫, 坂部俊樹, 稲垣康善 |
| タイトル | Martin-Lofの型理論に基づくプログラム合成のための定理証明系 |
| 掲載誌等 | 電気関係学会東海支部連合大会 |
| VolNo.等 | |
| ページfrom | 660 |
| ページto | |
| 発表・掲載日 | None |
| ファイル（PDF） | |
| ダウンロード数 | |
| 言語 | 日本語 |
| 開催地 | |
| 出版社 | |
| 種別 | 学会発表 |
| YouTube | |
| 備考 |