反証機能付き書き換え帰納法のための補題自動生成法
反証機能付き書き換え帰納法のための補題自動生成法
复制标题
具有证伪功能的重写归纳法的自动引理生成方法
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
外山芳人
中科院分区：
文献类型：
--
作者：
嶌津聡志;青戸等人;外山芳人
