• 自动2

  • 参考6篇文章【sw17595】
  • 定理证明器古典的高阶逻辑命名为auto2。校准器的设计目的是。。。
  • 序言

  • 引用68篇文章[sw06518]
  • 本机代码编译,GNU Prolog提供了一个古典的交互式解释器(顶层)与调试器。。。有限域上(FD)。这就打开了约束逻辑对用户编程结合了电源。。。
  • 宝塔

  • 参考第14条[sw08569]
  • 重写逻辑软约束框架。软约束延伸古典的要处理的约束。。。比斯塔雷利,蒙塔纳里和罗西在重写逻辑. 作为一个案例研究,我们提出了一个应用程序。。。
  • 拉尔

  • 参考第9条[sw08505]
  • 关系代数与谓词-符合逻辑的公式,依赖于古典的原子的普遍代数概念。。。
  • 抽象完整性

  • 引用4篇文章[SW2885号]
  • 贝丝/辛提卡风格)一级逻辑完备性定理,独立于具体的语法。。。只有一个玩具示例实例化古典的命题的逻辑. 一个更严重的例子---很多分类。。。
  • Y-逻辑

  • 引用2篇文章[sw01411]
  • 是否一致(在古典的 逻辑感觉)完成。。。
  • 格列发素

  • 引用2篇文章[sw26321]
  • 休伊特)。它的能力独立于逻辑以及使用的微积分。因此。。。在中运行示例古典的而不是-古典的 逻辑学显示能力的证据。。。
  • 餐前小吃

  • 引用8篇文章[sw07286]
  • 接口Genepi逻辑包含许多古典的解算者,(2)BDD就像。。。
  • 歌德神

  • 引用5篇文章[sw32223]
  • 模型化为古典的高阶逻辑因此,形式化本质上是。。。
  • 林塔普

  • 参考6篇文章[sw11991]
  • Girards线性指数碎片逻辑. 它证明了古典的给定公式的有效性。。。乘法,指数碎片M?线性的LL逻辑. 基于前缀语义表演算。。。
  • 阿利安塔普

  • 1条引用[sw09987]
  • 一阶陈述性定理证明器古典的 逻辑. 我们提出了αleanTAP,一个基于陈述的画面。。。一阶基本定理的证明古典的 逻辑. 因为它是声明性的,αleanTAP生成定理。。。
  • 副稠度

  • 1条引用[sw28572]
  • 连贯的方式。古典的直觉的逻辑一切都源于一个不一致的理论。次一致性。。。副一致性-古典的 逻辑学2005年)。我们仅限于命题片段。。。
  • 量子++

  • 引用2篇文章[sw27766号]
  • 库还包括对古典的可逆的逻辑,能够模拟古典的可逆操作。。。
  • 对话

  • 1条引用[sw32376]
  • 最初由Lorenzen开发。直觉的经典 逻辑是预定义的。语言允许。。。
  • 倾斜

  • 1条引用[sw24052]
  • 基于表的直觉定理证明器逻辑在书中呈现。除了证明。。。基于古典的 逻辑公式用lambda标记。。。搜索策略古典的表格。这种方法已经被证明。。。
  • 绅士

  • 1条引用[SW338号]
  • 按就绪的演绎树古典的 逻辑使用point plus表达式。乳胶系统。。。
  • Gen2sat公司

  • 1条引用[sw16745]
  • 各种各样的命题非-古典的 逻辑学以一个连续微积分的形式给出。。。