基于时序逻辑的Resolution自动定理证明方法

基于时序逻辑的Resolution自动定理证明方法

出版社：首都经济贸易大学出版社

ISBN：9787563832668

出版年：2021

作者：章岚

资源类型：图书

细分类型：中文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

面向时序逻辑的证明系统：INCAPS

作者：何锫
出版年：1989

自动定理证明

作者：石纯一
ISBN：7502902988
出版社：气象出版社
出版年：1989

基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现

作者：曾伟明
出版社：中国科学院
出版年：2008

机器证明的逻辑推定

作者：李娜
ISBN：9787030756244
出版社：科学出版社
出版年：2023

数理逻辑与机器证明

作者：陆钟万
ISBN：7030019199
出版社：科学出版社
出版年：1983

数学逻辑与机器证明

作者：陆钟万
出版社：科学出版社
出版年：1983