全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
-  1996 

归纳法模式的自动生成

Keywords: 归纳法模板 归纳法模式 归纳法推理

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序.该程序从递归函数定义出发,自动生成归纳法模板;从待证定理出发,借助归纳法模板,自动生成归纳法模式和归纳法公式.该系统已在微机上用编译LISP语言实现

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133