Theorem Proving in Higher Order Logics

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