Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International ConPDF电子书下载
- 电子书积分：12 积分如何计算积分？
- 作 者：TPHOLs 2004
- 出 版 社：Springer-Verlag
- 出版年份：2004
- ISBN：3540230173
- 页数：337 页
图书介绍：
《Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con》目录
标签：
相关图书
作者其它书籍
- 《21世纪高职高专计算机课程规划教材 新编中文AutoCAD2004基础操作教程》《新编AutoCAD2004基础操作教程》编委会编 2004
- 《全国企业法律顾问执业资格考试复习指南 民商与经济法律知识分册》张德霖主编，2004年全国企业法律顾问执业资格考试用书编委会编审 2004
- 《2004肇庆·中国端砚文化节纪念册》2004肇庆·中国端砚文化节筹委会编 2004
- 《中国审计研究报告》2004年审计署审计科研所编 2005
- 《医疗保健类卓越绩效准则 中英文对照》鲍德里奇国家质量奖计划（2004）编；焦叔斌译 2005
- 《Mathematical Knowledge Management Third International Conference》MKM 2004 2004
- 《Robert A. M. Stern:Buildings and Projects》2004-2009 2222
- 《PROCEEDINGS OF:THE NINETEENTH ANNUAL MEETING THE AMERICAN SOCIETY FOR PRECISION ENGINEERING OCTOBER 》2004 WYNDHAM PALACE RESORT & SPA AT WALT DISNEY WORLD ORLANDO 2004
- 《Numerical Analysis and Its Applications Third International Conference》NAA 2004 2005
- 《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE》SAT 2004 2005
出版社其它书籍