文献
J-GLOBAL ID:201702226994507046
整理番号:17A0241715
書き換え誘導を用いた帰納的定理の発見【Powered by NICT】
Discovering inductive theorems using rewriting induction
著者 (2件):
Sato Haruhiko
(Graduate School of Information Science and Technology, Hokkaido University, Sapporo, JAPAN)
,
Kurihara Masahito
(Graduate School of Information Science and Technology, Hokkaido University, Sapporo, JAPAN)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2016
号:
SMC
ページ:
000989-000993
発行年:
2016年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)