计算机工程与应用2000，Vol.36Issue(5)：12-14,3.
归纳法推理中若干问题的探讨
Research On Some Problems in Inductive Inference
金涛 1刘瑛睿1
作者信息
- 1. 武汉大学计算机科学与技术系国家多媒体软件工程技术研究中心教育部多媒体软件开放研究实验室,武汉,430072
- 折叠
摘要
关键词
数学归纳法/归纳法推理/自动定理证明分类
信息技术与安全科学引用本文复制引用
金涛,刘瑛睿..归纳法推理中若干问题的探讨[J].计算机工程与应用,2000,36(5):12-14,3.
