类型：
成立时间：
出版社特色：
沃新书屋 -
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings -
出版社：1 (2005年10月6日)
1 (2005年10月6日)
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
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
内容简介：
暂无相关简介，正在全力查找中！