暂无相关内容，正在全力查找中
沃新书屋 -
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings -
作者：Bernhard Beckert
Bernhard Beckert
人物简介：
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings书籍相关信息
- ISBN：9783540289319
- 作者：Bernhard Beckert
- 出版社：1 (2005年10月6日)
- 出版时间：暂无出版时间
- 页数：暂无页数
- 价格：暂无价格
- 纸张：暂无纸张
- 装帧：暂无装帧
- 开本：暂无开本
- 语言：暂无语言
- 适合人群：暂无
- TAG：Computer Science / Logic / Proceedings / Conferences / Mathematical Logic / Automated Theorem Proving / Formal Verification / Analytic Tableaux
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-17 04:04:35
内容简介：
暂无相关简介，正在全力查找中！
