WEKO3
アイテム / 定理証明支援系Coqにおける証明木を操作可能なインタフェースの設計および実装 / 1631119
1631119
ファイル | ライセンス |
---|---|
1631119.pdf (839.4 kB) sha256 79c0aa8a2586c23dc8755fb5327abc6e88e5cd6b2f0d874e68b03f42283ae5cc |
公開日 | 2018-04-13 | |||||
---|---|---|---|---|---|---|
ファイル名 | 1631119.pdf | |||||
本文URL | https://uec.repo.nii.ac.jp/record/8699/files/1631119.pdf | |||||
ラベル | 1631119 | |||||
フォーマット | application/pdf | |||||
サイズ | 839.4 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|