破坏性方法相关硕士博士期刊学术论文 - 搜论网

破坏性方法相关论文

基于扩展规则的定理证明的研究

自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。......

学位

人工智能定理证明自动推理扩展规则化简规则命题逻辑一阶逻辑模态逻辑关系转换破坏性方法函数转换

软罐头中空气量的非破坏性测定法

作者开发了一种新的软罐头中残留空气量的非破坏性测定法,并同标准的破坏性方法进行了比较。这种非破坏性测定法是将软罐头装在刚......

期刊

空气量破坏性方法非破坏性测定法

看过本文同时还关注