首页> 中文期刊>计算机研究与发展 >否证法十年来的发展

否证法十年来的发展

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.

著录项

来源
《计算机研究与发展》|1992年第3期|1-8|共8页
作者
曾云峰;
展开▼
作者单位

无;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
定理机器证明; 否证法;
入库时间 2023-07-25 09:27:46

相似文献

中文文献
外文文献
专利

1. 国内近十年来自然辩证法领域可视化研究——基于CiteSpace的分析 [J] . 田梅 ,王荣 ,屠怡潼 . 社会科学前沿 . 2020,第006期
2. “辩证法研究”还是“研究辩证法”？——对近年来国内有关辩证法讨论的一个质询 [J] . 高云涌 ,王林平 . 马克思主义哲学论丛 . 2013,第001期
3. 汽车技术近十年来的十大特点和未来十年的十大发展趋势 [J] . . 内燃机 . 2006,第5期
4. 社会主义市场经济与社会主义发展辩证法──全国第十次社会主义辩证法研讨会综述 [J] . 王瑞娟 ,郑文静 . 理论探索 . 1995,第006期
5. 十年辉煌路环境助发展——武清撤县建区十年来环境建设的调查与启示 [J] . 张默雯 . 求知 . 2010,第005期
6. 从辩证法到系统哲学的艰险旅程——正确对待十种辩证法 [C] . 张华夏 . 第八届全国复杂性与系统科学哲学年会 . 2014
7. 近十年来山东省乡镇驻地发展变化研究——以商河、邹平、沂南等十县（市）为例 [A] . 菅月昕 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号