Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and RelatedPDF电子书下载
- 电子书积分：12 积分如何计算积分？
- 作 者：TABLEAUX 2005
- 出 版 社：Springer-Verlag
- 出版年份：2005
- ISBN：3540289313
- 页数：343 页
图书介绍：
《Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related》目录
标签：
相关图书
作者其它书籍
- 《同济大学年鉴 2005》2005同济大学年鉴编辑部编 2006
- 《2005·中国百家金陵画展友情展作品集 中国画》《2005·中国百家金陵画展（中国画）友情展作品集》编委会编 2006
- 《创新风暴 2005 CCTV中国经济年度人物候选人演讲录》许文广，吴晓娟主编；2005CCTV中国经济年度人物评选节目组编 2006
- 《2005年春夏巴黎高级时装发布》《2005年春夏巴黎高级时装发布》编委会编著 2005
- 《Electronic Government 4th International Conference》EGOV 2005 2005
- 《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE》SAT 2005 2005
- 《Refocus marine renewable energy report : global markets》forecasts and analysis 2005-2009 2005
- 《LEGAL ETHICS: RULES》STATUTES AND COMPARISONS 2005 EDITION 2005
- 《Internet and Network Economics First International Workshop》WINE 2005 2005
- 《Mathematical Knowledge Management 4th International Conference》MKM 2005 2006
出版社其它书籍