《Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic
【书名】：《Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related Methods International Conference,TABLEAUX 2005,,Springer-Verlag,2005》 【作者】： 【出版社】： 【时间】： 【页数】：343 【ISBN】：3540289313 【SS码】：40368871
最新查询
内容简介
该书暂无内容介绍。
书查询（www.shuchaxun.com）本网页唯一编码： 007f4d9bc39a1e0b6759c62bdbb83693#0cec1c4037e9a2e1d0bf2efb6f236df8#198511456#Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related Methods International Conference,TABLEAUX 2005_40368871.zip
