暂无相关内容，正在全力查找中
Hurd, J.; Hurd, Joe; Melham, Tom
人物简介：
Theorem Proving in Higher Order Logics书籍相关信息
- ISBN：9783540283720
- 作者：Hurd, J.; Hurd, Joe; Melham, Tom
- 出版社：暂无出版社
- 出版时间：暂无出版时间
- 页数：424
- 价格：暂无价格
- 纸张：暂无纸张
- 装帧：暂无装帧
- 开本：暂无开本
- 语言：暂无语言
- 适合人群：Mathematicians, Computer Scientists, Logic Enthusiasts, Students of Theoretical Computer Science, Researchers in Formal Methods, Professionals in Software Verification
- TAG：Computer Science / Theoretical Computer Science / Formal Logic / Higher Order Logic / Mathematical Proof / Deductive Systems / Automated Theorem Proving
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-17 03:54:42
内容简介：
暂无相关简介，正在全力查找中！
全格式电子版 - 免费下载
