Theorem Proving in Higher Order Logics书籍详细信息
- ISBN:9783540425250
- 作者:Richard J. Boulton
- 出版社:Springer Verlag
- 出版时间:2001-1
- 页数:393
- 价格:110.00元
- 纸张:暂无纸张
- 装帧:Pap
- 开本:暂无开本
- 语言:暂无语言
- 适合人群:Academics in computer science and mathematics, software engineers, logic enthusiasts, philosophy of mathematics students, and professionals interested in formal methods and proof assistants.
- TAG:Computer Science / Proof Theory / Mathematical Logic / Formal Logic / Higher Order Logic / Software Verification
- 豆瓣评分:暂无豆瓣评分
- 更新时间:2025-05-17 03:56:41
下载点评