WEKO3
アイテム / 定理証明支援系Coqにおける手続き的証明から宣言的証明への変換 / 1631156
1631156
ファイル | ライセンス |
---|---|
1631156.pdf (1.3 MB) sha256 0ae70f16bd42bd67c1c7f52afb95e1f1bd4ae56832d1dd69ff20b53efba8a7c6 |
公開日 | 2018-04-13 | |||||
---|---|---|---|---|---|---|
ファイル名 | 1631156.pdf | |||||
本文URL | https://uec.repo.nii.ac.jp/record/8708/files/1631156.pdf | |||||
ラベル | 1631156 | |||||
フォーマット | application/pdf | |||||
サイズ | 1.3 MB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|