检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到1篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

重写系统中的显式归纳方法被引量：2: 1; 作者宋国新邵志清《华东理工大学学报（自然科学版）》 CAS CSCD 1996年第1期68-72,共5页; 提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。; 关键词归纳定理重写系统等式系统显式归纳 k-b算法; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	重写系统中的显式归纳方法	宋国新邵志清	《华东理工大学学报（自然科学版）》 CAS CSCD	1996	2	在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析