Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International ConPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：TPHOLs 2007
- 出 版 社：Springer-Verlag
- 出版年份：2007
- ISBN：9783540745907
- 页数：400 页
图书介绍：
《Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con》目录
标签：
相关图书
作者其它书籍
- 《中国旅游研究 2007》北京旅游发展研究基地《中国旅游研究·2007》编委会编 2009
- 《2007古董拍卖年鉴 瓷器卷》《2007古董拍卖年鉴》编 2007
- 《2007古董拍卖年鉴 玉器卷》《2007古董拍卖年鉴》编 2007
- 《2007当代艺术院校大学生年度提名展作品集 上》“2007当代艺术院校大学生年度提名展”组委会编 2007
- 《2007当代艺术院校大学生年度提名展作品集 下》“2007当代艺术院校大学生年度提名展”组委会编 2007
- 《Arithmetic of Finite Fields First International Workshop》WAIFI 2007 2007
- 《Fundamemtals of Computation Theory 16th International Symposium》FCT 2007 2007
- 《Advances in Artificial Life 9th Europen Conference》ECAL 2007 2007
- 《Financial Cryptography and Data Security 11th International Conference》FC 2007 2007
- 《FOREIGN COMMERCE AND THE ANTITRUST LAWS 2007-2 CUMULATIVE SUPPLEMENT CURRENT THROUGH JUNE 1》2007 FIFTH EDITION 2007
出版社其它书籍