暂无相关内容，正在全力查找中
Basin, D.; Basin, David; Rusinowitch, Michael
人物简介：
Automated Reasoning书籍相关信息
- ISBN：9783540223450
- 作者：Basin, D.; Basin, David; Rusinowitch, Michael
- 出版社：暂无出版社
- 出版时间：暂无出版时间
- 页数：516
- 价格：暂无价格
- 纸张：暂无纸张
- 装帧：暂无装帧
- 开本：暂无开本
- 语言：暂无语言
- 适合人群：computer scientists, mathematicians, software engineers, logic enthusiasts, artificial intelligence researchers, computer engineering students
- TAG：Computer Science / Artificial Intelligence / Formal Methods / Logic / Proof Theory / Computational Theory
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-17 04:06:41
内容简介：
暂无相关简介，正在全力查找中！
全格式电子版 - 免费下载
