<学術雑誌論文>
Coqによる初等幾何学の証明方法について
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
権利関係 |
本文ファイル
ファイル | ファイルタイプ | サイズ | 閲覧回数 | 説明 |
---|---|---|---|---|
JSSAC_report | 142 KB | 1,552 |
詳細
レコードID | |
---|---|
査読有無 | |
主題 | |
ISSN | |
ISBN | |
NCID | |
登録日 | 2016.10.07 |
更新日 | 2020.10.13 |