IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEMPDF电子书下载
- 电子书积分：11 积分如何计算积分？
- 作 者：
- 出 版 社：PRENTICE-HALL，INC.
- 出版年份：2222
- ISBN：0134518322
- 页数：299 页
图书介绍：
《IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM》目录
标签：
相关图书
作者其它书籍
出版社其它书籍
- 《毛头小子创业暴发 美国青少年创业领袖实操笔记》（美）芬恩著 2013
- 《3D Studio MAX R2.5大全》（美）（J.A.贝尔）Jon A.Bell等著；潇湘工作室译 1999
- 《经理工作的性质》（加）H.明茨伯格（Henry Mintzberg）著；孙耀君译 1999
- 《学用Windows 98 中文版》（美）（A.拉思伯恩）Andy Rathbone著；肖志宏等译 1998
- 《轻松学用数字摄影 第2版》（美）（J.A.金）Julie Adair King著；赵建文等译 1999
- 《远程通信网络基础》（美）Tarek N.Saadawi等著；黄 岩等译 1996
- 《爱与意志》（美）罗洛·梅著；冯川译 1998
- 《他们》（美）乔伊斯·卡罗尔·奥茨（Joyce Carol Oates）著；李长兰等译 1998
- 《AGI边坡监测系统应用与开发》沈细中，冷元宝，张俊霞等编著 2010
- 《追随力》（美）芭芭拉·凯勒曼著 2011