反馈文件质量
duxiu/initial_release/40755157.zip
The automation of reasoning : an experimenter's notebook with OTTER tutorial 🔍
Larry Wos Academic Press, Incorporated, 1996, 1996
英语 [en] · PDF · 83.8MB · 1996 · 📗 未知类型的图书 · 🚀/duxiu/zlibzh · Save
描述
This landmark title is the only one of its kind to offer research problems in the field along with guidance in using and implementing what has been called the most powerful general-purpose program for automated reasoning available: Bill McCune's OTTER. The remarkable automated reasoning program is included (on diskette) with the text to allow hands-on understanding of the author's imparted knowledge. Also included within the text are detailed guidelines for using the program, which can be of great assistance in deductive reasoning. The text covers, in depth, how research is actually conducted using an automated reasoning program and based on the author's thirty years of work in the field, and also offers new results in mathematics and in logic that have never before appeared in print. Key Features* Includes floppy disk with input files, a user's guide, and the latest version of OTTER software for automated reasoning: conduct your own automated reasoning experiments immediately!* Features a new strategy, called the resonance strategy, that enables a reasoning program to use steps of one proof to guide its attempt to complete a second proof, often with outstanding success* Presents material in the form of an experimenter's notebook, with substantial commentary about choices for using an automated reasoning program effectively* Describes a methodology for finding elegant, shorter proofs-important in applications such as circuit design* Introduces the hot list strategy which, by focusing on selected information, dramatically enhances the ability of a reasoning program to draw vital conclusions quicklyAudience: Researchers in mathematics and computer science. Includes automated reasoning program (on diskette) with the text to allow understanding of knowledge. This book features guidelines for using the program, which can be of assistance in deductive reasoning. It covers...
备用文件名
zlibzh/no-category/Larry Wos/The automation of reasoning : an experimenter's notebook with OTTER tutorial_54233442.pdf
备选标题
The automation of reasoning : an experimenter's notebook wit OTTER turoial
备选标题
Automata Reasoning ***replacement*** Disk
备选作者
Wos, Larry
备用出版商
Morgan Kaufmann Publishers
备用出版商
Brooks/Cole
备用版本
United States, United States of America
备用版本
San Diego [etc.], United States, 1996
备用版本
San Diego, California, 1996
备用版本
July 5, 1996
元数据中的注释
related_files:
filepath:40755157.zip — md5:b6d84813d830ade7142fa17a4dc8f5b8 — filesize:83665308
filepath:40755157.zip — md5:d913e8803v7385fc4cebb0df9d846c95 — filesize:83665308
filepath:40755157.zip — md5:8ac3039c7df10677f1ee9bbb0688b5e7 — filesize:83665308
filepath:/读秀/读秀3.0/读秀/3.0/3.0补充/第五部分/其余书库等多个文件/ddd-2/09/40755157.zip
filepath:/读秀/读秀3.0/读秀/3.0/3.0新/其余书库等多个文件/0004/09/40755157.zip
filepath:/读秀/读秀4.0/读秀/4.0/数据库04-4/40755157.zip
filepath:第五部分/ddd-1/09/40755157.zip
元数据中的注释
Includes bibliographical references (p. 419-421) and index.
System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.
元数据中的注释
Указ.
Библиогр.: с. 419-421
元数据中的注释
РГБ
元数据中的注释
Russian State Library [rgb] MARC:
=001 002503709
=005 20050323112316.0
=008 041202s1996\\\\xxu||||\r\\\\\0||\u\eng|d
=017 \\ $a И13948-04 $b РГБ
=020 \\ $a 0-12-763420-7
=040 \\ $a RuMoRGB $b rus $e rcr
=041 0\ $a eng
=044 \\ $a xxu
=084 \\ $a З813.5,0 $2 rubbk
=084 \\ $a З813.4,0 $2 rubbk
=100 1\ $a Wos, Larry
=245 04 $a The automation of reasoning : $b an experimenter's notebook with OTTER tutorial $c Larry Wos
=260 \\ $a San Diego [etc.] $b Acad. press $c cop. 1996
=300 \\ $a XIV, 434 с. $c 23 см $e 1 дискета
=500 \\ $a Указ.
=504 \\ $a Библиогр.: с. 419-421
=520 8\ $a Автоматизация рассуждений и их программное обеспечение
=650 \7 $a Радиоэлектроника -- Кибернетика -- Искусственный интеллект -- Системы представления знаний $2 rubbk
=650 \7 $a Радиоэлектроника -- Кибернетика -- Искусственный интеллект -- "Интеллектуализация" компьютеров $2 rubbk
=852 4\ $a РГБ $b FB $j 5 04-9/133 $x 90
备用描述
This landmark title is the only one of its kind to offer research problems in the field along with guidance in using and implementing what has been called the most powerful general-purpose program for automated reasoning available: Bill McCune's <i>OTTER</i>. The remarkable automated reasoning program is included (on diskette) with the text to allow hands-on understanding of the author's imparted knowledge. Also included within the text are detailed guidelines for using the program, which can be of great assistance in deductive reasoning. The text covers, in depth, how research is actually conducted using an automated reasoning program and based on the author's thirty years of work in the field, and also offers new results in mathematics and in logic that have never before appeared in print.
<p>Key Features<br>
* Includes floppy disk with input files, a user's guide, and the latest version of OTTER software for automated reasoning: conduct your own automated reasoning experiments immediately!<br>
* Features a new strategy, called the resonance strategy, that enables a reasoning program to use steps of one proof to guide its attempt to complete a second proof, often with outstanding success<br>
* Presents material in the form of an experimenter's notebook, with substantial commentary about choices for using an automated reasoning program effectively<br>
* Describes a methodology for finding elegant, shorter proofs-important in applications such as circuit design<br>
* Introduces the hot list strategy which, by focusing on selected information, dramatically enhances the ability of a reasoning program to draw vital conclusions quickly</p>


<p><b>Audience:</b> Researchers in mathematics and computer science.
</p>
备用描述
This book presents some of the insights, judgements, opinions, and experiences gleaned from more than 30 years of research in automated reasoning. The style and organization are those of an experimenter's notebook, featuring both successes and failures resulting from numerous experiments with one of the world's most powerful software packages for automated reasoning, Bill McCune's OTTER.
备用描述
Includes automated reasoning program (on diskette) with the text to allow understanding of knowledge. This book features guidelines for using the program, which can be of assistance in deductive reasoning. It covers the aspect of how research is conducted using an automated reasoning program.
备用描述
Автоматизация рассуждений и их программное обеспечение
开源日期
2024-06-13
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️
如果您在本月捐款，您将获得双倍的快速下载次数。

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。