全部 标题 作者 关键词 摘要
Keywords: 归纳法模板 归纳法模式 归纳法推理
Full-Text Cite this paper Add to My Lib
本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序.该程序从递归函数定义出发,自动生成归纳法模板;从待证定理出发,借助归纳法模板,自动生成归纳法模式和归纳法公式.该系统已在微机上用编译LISP语言实现
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133