Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
ISBN: 9783540289319
出版社: 1 (2005年10月6日)
出版年: 2005-11
页数: 342
定价: 587.60元
装帧: 平装