首页> 中文期刊>计算机研究与发展 >定理证明环境

定理证明环境

开具论文收录证明 >>

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

页面导航

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

摘要

本文阐述定理证明环境的思想.介绍建立在IBM-PC机上的KTPE系统,用该思想实现了Boyer-Moore定理证明器.

著录项

来源
《计算机研究与发展》|1989年第8期|14-18,50|共6页
作者
陆汝占; 毕华; 孙永强;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
定理证明环境; KTPE系统; 微机;
入库时间 2023-07-25 09:27:47

相似文献

中文文献
外文文献
专利

1. 定积分分部积分法在微分定理证明中的应用 [J] . 乔丹 ,王思颖 ,蔺小林 . 高师理科学刊 . 2021,第004期
2. 发现定理证明方法,发展几何直观能力——"勾股定理的证明"教学新探 [J] . 张昆 . 教育研究与评论（中学教育教学版） . 2021,第009期
3. 浅谈勾股定理证明引导突破 [J] . 杨鹏 . 好日子 . 2021,第012期
4. 基于定理证明的内存安全性动态检测算法的正确性研究 [J] . 孙小祥 ,陈哲 . 计算机科学 . 2021,第001期
5. 基于网孔电流节点电压的特勒根定理证明 [J] . 朱柱 ,谢凡 ,胡积宝 . 安庆师范大学学报：自然科学版 . 2021,第004期
6. 基于定理证明的CPU结构形式化验证方法与实现 [C] . 彭方州 ,马殿富 . 全国抗恶劣环境计算机第二十五届学术年会 . 2015
7. 交互式并行定理证明环境的构建 [A] . 李兵 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号