文献
J-GLOBAL ID:202102277842043119
整理番号:21A0448635
証明アシスタントにおける再帰関数の条件付き特性の発見【JST・京大機械翻訳】
Discovering conditional properties of recursive functions in a proof assistant
著者 (2件):
Sato Haruhiko
(Hokkai-Gakuen University,Department of Electronics and Information Engineering,Sapporo,Hokkaido)
,
Ishii Natsuo
(Hokkai-Gakuen University,Department of Electronics and Information Engineering,Sapporo,Hokkaido)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
SCIS&ISIS
ページ:
1-4
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)