Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International ConPDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：TPHOLs 2005
- 出 版 社：Springer-Verlag
- 出版年份：2005
- ISBN：3540283722
- 页数：409 页
图书介绍：
《Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con》目录
标签：
相关图书
作者其它书籍
- 《同济大学年鉴 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
出版社其它书籍