期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

规范缺省理论的简化

下载PDF

导出

作者吴茂康

出处《上海科技大学学报》 1991年第2期45-50,共6页

关键词规范缺省理论缺省推理延伸

分类号 O141.3 [理学—基础数学]

引文网络
相关文献

参考文献3

1吴茂康，计算机学报，1991年，8期
2周祥和，自动推理引论及其应用，1987年
3李卫华，人工智能引论，1986年

1Xi-ShunZhao.正则无析取缺省理论[J].Journal of Computer Science & Technology,2004,19(C00):18-18.
2范仲春,邢汉承.一种基于证据表达的缺省推理继承网络算法[J].南京师大学报（自然科学版）,1991,14(3):33-40.
3张玉平.可定义的推导关系[J].中国科学（E辑）,1998,28(5):439-445.

上海科技大学学报

1991年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部