暂无相关内容，正在全力查找中
Schneider, Klaus; Brandt, Jens;
人物简介：
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
内容简介：
暂无相关简介，正在全力查找中！
全格式电子版 - 免费下载
