δ-规则相关硕士博士期刊学术论文 - 信丰网

δ-规则相关论文

自由变量语义tableau中δ-规则的一种改进方法

自动推理一直是人工智能领域研究的重要内容近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注对于自由变......

期刊

tableau 自由变量自动推理 δ-规则正确性证明结构树变量集合谓词符号推理系统等价类

看过本文同时还关注