外山 芳人: "書き換え帰納法による帰納的定理の決定手続き"日本ソフトウェア科学会第19回大会論文集. 2002-9. 3A-2 (2002)
外山 芳人: "書き換え帰納法による帰納的定理の決定手続き"日本ソフトウェア科学会第19回大会論文集. 2002-9. 3A-2 (2002)
复制标题
Yoshito Toyama：“通过重写归纳来确定归纳定理”第 19 届日本软件学会年会论文集 2002-9（2002 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
