Automated Theorem Proving:A Logical BasisPDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：DONALD W.LOVELAND
- 出 版 社：ELSEVIER NORTH-HOLLAND INC
- 出版年份：1978
- ISBN：
- 页数：405 页
图书介绍：
上一篇：化学工业标准汇编 第七册 塑料与塑料制品下一篇：龍が見える時
《Automated Theorem Proving:A Logical Basis》目录
标签：
相关图书
作者其它书籍
- 《FRACTURES THIRD EDITION》DONALD A.WISS 2013
- 《地球与人：生命群落的动态演绎》J·唐纳·休斯（J.DONALD HUGHES）著 2013
- 《大众媒介与社会》Ray Eldon Hiebert，Donald F. Ungurait，Thomas W. Bohn著；潘邦顺译 1996
- 《大众传播媒介》Ray Eldon Hiebert，Donald F.Ungurait，Thomas W.Bohn作者；潘邦顺译；江中信校审 1995
- 《实用沟通英语学生练习册 3》曾路主编；Donald Freeman，Kathleen Graves，Linda Lee编 《实用沟通英语》改编组改编 2008
- 《自然手札 冬之卷》（美）D·C·皮阿提（Donald Culross Peattie）著；陈苍多译 1995
- 《MCSE：NT Server 4 In The Enterprise 学习指南 升级版》（美）唐纳德（Lisa Donald），（美）James Chellis著；李凤华等译 2000
- 《制造奇迹 拉美与东亚工业化的道路》（美）加里·杰里菲（Gary Gereffi），（美）唐纳德·怀曼（Donald L.Wyman）编；俞新天等译 1996
- 《30种高回报投资的成功策略》（美）（唐纳·L.卡斯蒂）Donald L.Cassidy著；张诚译 1998
- 《学用Java编程 第2版》（美）（D.J.库西斯）Donald J.Koosis，（美）（D.库西斯）David Koosis著；韩传钊等译 1998
出版社其它书籍
- 《毛头小子创业暴发 美国青少年创业领袖实操笔记》（美）芬恩著 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