更新时间:-- | 阅读量: 64
是指在计算机支持下实现推理,求解问题。自动推理的研究内容有定理机器证明、程序正确性
搜索到与“ 自动推理”相关的文献共 2条
本文介绍自动推理研究的由来和主要内容,同时也概述了该领域对其它研究所具有的意义。
《逻辑研究专辑》 2001年00期 关键词: "自动推理"," 定理机器证明"," 非单调推理"," 概率推理" 收藏
ECA催渗剂是益科工业技术研究所经销的高科技电解质气相离子催化渗碳剂,本文介绍它在我厂渗碳连续炉上的试验过程,试验表明,ECA催渗剂能节约能源及原辅料消耗,提高了生产效率,显著改善了产品质量,具有非常...
《热处理技术与装备》 2002年03期 关键词: "电解质气相"," 离子催渗" 收藏
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
