Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International ConPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：TPHOLs 2001
- 出 版 社：Springer-Verlag
- 出版年份：2001
- ISBN：354042525X
- 页数：394 页
图书介绍：
《Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con》目录
标签：
相关图书
作者其它书籍
- 《昆明理工大学年鉴 2001》昆明理工大学2001年年鉴编委会编 2002
- 《2001年全国会计专业资格考试应试精华 中级》2001全国会计专业资格考试应试指导编写组编；刘立强主编 2000
- 《2001世界发展指标》世界银行《2001年世界发展指标》编写组编；中国财政经济出版社组织翻译 2002
- 《2001年获奖住宅试点小区实录》建设部住宅产业化促进中心《2001年获奖住宅试点小区实录》编写组编 2002
- 《中国电视红皮书 2001》周可执行主编；2001中国电视节目榜组委会等编著 2002
- 《THE GEOPOLITICS OF HUNGER》2000-2001 HUNGER AND POWER 2001
- 《2001 GaAs MANTECH Conference Digest of Papers May 21-24》2001 Mirage Hotel Las Vegas 2222
- 《Parallel computing technologies : 6th International Conference》PaCT 2001 2222
- 《INSURING THE AIR TRANSPORT INDUSTRY AGAINST AVIATION WAR AND TERRORISM RISKS AND ALLIED PERRORISM RI》2001 ENVIRONMENT 2013
- 《COMPUTER ANALYSIS OF IMAGES AND PATTERNS 9THE INTERNATIONAL CONFERENCE》CAIP 2001 WARSAW 2222
出版社其它书籍