跳到主要内容
SpringerLink公司
登录
书籍封面

国际自动推理联合会议

国际JCAR 2001：自动推理聚丙烯381–385引用为

DCTP-一个断续演算定理证明程序-系统摘要

  • 会议文件
  • 首次在线：

系列丛书的一部分： 计算机科学课堂讲稿（LNAI，第2083卷）

摘要

我们描述了定理证明器DCTP，它是断开表演算的实现，是一种汇合表方法，其中以非刚性的方式处理自由变量。与大多数其他自由变量表格变体相比，该系统还可以用于模型生成。我们概述了基本演算及其改进，并给出了实验评估的结果。

这是订阅内容的预览，通过机构登录.

第章
29.95欧元
价格包括增值税（中国）
  • 以PDF格式提供
  • 在任何设备上读取
  • 即时下载
  • 永远拥有它
电子书
85.59欧元
价格包括增值税（中国）
  • 以PDF格式提供
  • 在任何设备上读取
  • 即时下载
  • 永远拥有它
软封面书籍
99.99欧元
价格不含增值税（中国）
  • 紧凑、轻量级版本
  • 3至5个工作日内发货
  • 全球免费送货-查看信息

税务计算将在结账时完成

购买仅供个人使用

了解机构订阅

预览

无法显示预览。 下载预览PDF格式。

无法显示预览。 下载预览PDF格式。

工具书类

  1. P.Baumgartner、N.Eisinger和U.Furbach。汇合连接演算。在会议记录，CADE-16，特伦托LNAI 1632，第329-343页。斯普林格，1999年。

    谷歌学者 

  2. P.Baumgartner、U.Furbach和I.Niemelä。超级舞台。在诉讼，JELIA-96，LNAI 1126，第1-17页，斯普林格出版社，1996年。

    谷歌学者 

  3. Jean-Paul Billon。断开方法：在分析框架中统一的融合第五届TABLEAUX会议记录,Terrasini公司，LNAI 1071，第110–126页，斯普林格出版社，1996年。

    谷歌学者 

  4. S.-J.Lee和D.Plaisted。使用超链接策略消除重复。自动推理杂志1992年，第25-42页。

    谷歌学者 

  5. Reinhold Letz、Klaus Mayr和C.Goller。将切割规则控制集成到连接表计算中。自动推理杂志，13（3）：297–3381994年12月。

    第条 数学科学网 数学 谷歌学者 

  6. 莱霍德·莱茨（Reinhold Letz）、约翰·舒曼（Johann Schumann）、斯蒂芬·拜耳（Stephan Bayerl）和沃尔夫冈·比贝尔（Wolfgang Bibel）。SETHEO：高性能定理证明程序。自动推理杂志, 8(2):183–212, 1992.

    第条 数学科学网 数学 谷歌学者 

  7. 斯蒂芬·舒尔茨。系统摘要：E 0.61。在程序。第1次IJCAR,锡耶纳、LNAI。斯普林格，2001年。

    谷歌学者 

下载参考资料

作者信息

作者和附属机构

  1. 慕尼黑慕尼黑慕尼黑慕尼黑工业大学信息学院，D-80290

    Reinhold Letz和Gernot Stenz

作者
  1. Reinhold Letz公司
    查看作者出版物

    您还可以在中搜索此作者公共医学 谷歌学者

  2. 格诺·斯滕兹
    查看作者出版物

    您还可以在中搜索此作者公共医学 谷歌学者

编辑器信息

编辑和附属机构

  1. 澳大利亚首都堪培拉澳大利亚国立大学计算机科学系自动化推理项目

    拉吉夫·戈雷

  2. AG Theoretische Informatik und Logik，Institute für Computerspachen，Technische Universityät Wien，Favoritenstr。奥地利维恩E185-2，1040，9

    亚历山大·莱奇

  3. 德国慕尼黑慕尼黑科技大学信息研究所，邮编80290

    托比亚斯·尼普科

权利和权限

转载和许可

版权信息

©2001施普林格-弗拉格-柏林-海德堡版权所有

关于本论文

引用本文

Letz，R.，Stenz，G.（2001年）。DCTP-一个断续演算定理证明程序-系统摘要。收录：Goré，R.，Leitsch，A.，Nipkow，T.（编辑）《自动推理》。国际JCAR 2001。计算机科学课堂讲稿，第2083卷。施普林格，柏林，海德堡。https://doi.org/10.1007/3-540-45744-5_30

下载引文

  • 内政部:https://doi.org/10.1007/3-540-45744-5_30

  • 出版:

  • 发布者名称:施普林格、柏林、海德堡

  • 打印ISBN:978-3-540-42254-9

  • 在线ISBN:978-3-540-45744-2

  • 电子书包:斯普林格图书档案馆

与我们一起发布

政策和道德

搜索

导航