高阶逻辑辅助证明系统

高阶逻辑辅助证明系统

出版社：北京理工大学出版社

ISBN：9787564077631

出版年：2013

作者：尼普科夫

学科：数学

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

分数阶系统高阶逻辑形式化验证

作者：赵春娜
ISBN：9787030622068
出版社：科学出版社
出版年：2023

推理与证明 :现代逻辑的技巧

作者：内井
ISBN：730004083
出版社：中国人民大学出版社
出版年：1988

数理逻辑与机器证明

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

关于证明与反驳的逻辑学说

作者：阿斯姆斯
出版社：三联书店
出版年：1955

推理与证明 :现代逻辑的技巧

作者：内井惣七
ISBN：7300004083
出版社：中国人民大学出版社
出版年：1988

机器证明的逻辑推定

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