The automation of reasoning : an experimenter's notebook with OTTER tutorialPDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：Larry Wos
- 出 版 社：Academic Press
- 出版年份：1996
- ISBN：0127634207
- 页数：434 页
图书介绍：
《The automation of reasoning : an experimenter's notebook with OTTER tutorial》目录
标签：
相关图书
作者其它书籍
- 《一分钟推销人》Spencer Johnson，Larry Wilson合著；洪宏龄译 1996
- 《执行力 没有执行力·哪有竞争力》赖利·包熙迪（Larry Bossidy），瑞姆·夏蓝（Ram Charan）著 李明译 2003
- 《教孩子学习独立》Larry V.Stockman，Cynthia S.Graves，Richard Poe著；林丽娜译 2000
- 《未来40个有趣现象 扫瞄未来，发现创意新商机》Larry Samuel，Mary Meehan，VickieAbrahamson著 1999
- 《概念车》拉里·埃兹尔（larry Edsall）著；吴迅捷，唐清华，冯欢欣译 2004
- 《航空航天铝超塑性文集》（美）皮尔斯（Pearce，Roger），（美）凯 利（Kelly，Larry）编；孙荣科等译 1992
- 《漫话物理学》（美）拉里·戈尼克（Larry Gonick），（美）阿特·赫夫曼（Art Huffman）著；尹宏义，谢念非译 1995
- 《HTML 3.3 样本手册》Larry Aronson Joseph Lowery 1998
- 《轻松瑜伽》（美）乔治·福伊尔施泰因（Georg Feuerstein），（美）拉里·佩恩（Larry Payne）著；王丹丹，孙基梁等译 2006
- 《要赚就赚1000万》（美）拉里·C. 法雷尔（Larry C. Farrell）著；里娟译 2005
出版社其它书籍
- 《竞争战略 全译珍藏版》（美）迈克尔·波特（Michael E. Porter）著 2012
- 《网络互联技术手册 第2版》（美）（K.唐斯）Kevin Downes等著；包晓露等译 1999
- 《新版交换式以太网和快速型以太网 第2版》（美）（R.布雷耶）Robert Breyer，（美）（S.赖利）Sean Riley著；肖文贵等译 1997
- 《摄影100关键词》（英）克拉克著 2011
- 《守望百年 中英文对照爱情长诗》蔡丽双著；张智中译 2014
- 《环境政策概要》（英）卡罗琳·斯奈尔（Carolyn Snell）著；宋伟译 2017
- 《驼铃 中-英-波兰文对照诗集》蔡丽双著；张智中，（波兰）博古米娜·雅尼卡译 2015
- 《爱海情帆 中-英-罗马尼亚文对照爱情长诗》蔡丽双著；张智中，德拉戈斯·巴尔布译 2016
- 《准备，开始，哎哟》（美）弗兰·马努斯肯著；（美）黛安娜·帕尔米西若绘；魏亚西译 2014
- 《埋藏在后院》（美）盖尔·赫尔曼著；（美）杰里·斯马斯绘；筱舟译 2014