Theorem Proving in Higher Order Logics书籍详细信息
- ISBN：9783540745907
- 作者：Schneider, Klaus; Brandt, Jens;
- 出版社：暂无出版社
- 出版时间：暂无出版时间
- 页数：暂无页数
- 价格：暂无价格
- 纸张：暂无纸张
- 装帧：暂无装帧
- 开本：暂无开本
- 语言：暂无语言
- 适合人群：暂无
- TAG：Computer Science / Mathematical Logic / Formal Logic / Higher Order Logic / Theorem Proving / Software Verification
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-17 03:53:13