归结反演相关硕士博士期刊学术论文 - 搜论网

归结反演相关论文

归结反演中的可视化技术研究

本文工作内容为归结反演中的可视化技术研究。论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统......

学位

可视化技术归结反演谓词逻辑

基于归结反演的Petri网推理新方法

本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标例题成立的推理算法，即求包含为迁的Ｔ－不变量并同时求出变迁发生序列的算......

期刊

逻辑推理归结反演 PETRI网 Place/Transition net Predicate/Transition net logic inference

看过本文同时还关注