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
下载点评