• 吸血鬼

  • 引用239篇文章[sw02918]
  • 一阶自动定理证明器古典的 逻辑. 它由一个外壳组成。。。
  • 霍尔灯

  • 引用了295篇文章[sw06580号]
  • 交互式校对助手古典的高阶逻辑,作为一个简洁的版本。。。
  • Isar

  • 在142篇文章中引用[sw04599]
  • 逻辑实施。理论、定理、证明程序等在伊莎贝尔之间可以互换使用-经典证据。。。支持广泛的对象-逻辑学. 当前的最终用户设置主要是。。。
  • 泽农

  • 参考22篇文章[sw06753]
  • 一阶自动定理证明器古典的 逻辑(等式)基于tableau方法。。。
  • 利奥三世

  • 在14篇文章中引用[sw18516]
  • 基于agent的推理系统古典的高阶逻辑已开发。利奥三世组合。。。支持表达非-古典的 逻辑学...
  • 精益警察

  • 引用25篇文章[sw09756]
  • 非常紧定理证明器古典的一阶逻辑,基于连接(表)微积分。。。直觉连接演算逻辑. leancop2.0扩展了古典的通过添加。。。
  • 魔术

  • 在14篇文章中引用[sw11872]
  • 连接词)是用来作为符合逻辑的研究。它计算小代数(通常用。。。元素)适用于模拟某些非-古典的 逻辑学. 一路上,它消除了。。。
  • L分析

  • 引用42篇文章[sw04633]
  • 其他语义学(古典的否定,部分稳定模型)逻辑程序。。。
  • 葡萄糖酶

  • 在122篇文章中引用[sw01555]
  • 英文字母词古典的小说作品,城市之间的高速公路距离。。。经济,大学足球成绩,计算逻辑电路,蒙娜丽莎等等其他的都是。。。
  • 伊莱昂科普

  • 引用16条[sw09757]
  • 一阶直觉演算逻辑. 它扩展了古典的连接演算加前缀。。。逻辑,我们证明这是正确和完整的。微积分是通过扩展古典的...
  • 崔弟

  • 参考7篇文章[sw22090]
  • 全面的Java库集合符合逻辑的人工智能与知识表示。推特。。。不同的知识表示形式,如古典的 逻辑学,有条件逻辑学,概率逻辑学和论证。此外。。。
  • 德洛宁

  • 引用15篇文章[sw22920]
  • 应用。尽管本体论取得了无可争议的成功,古典的本体论不适合处理。。。不确定性以及由此产生的几个模糊扩展逻辑而且很粗糙逻辑,除其他形式外,还有。。。从模糊粗糙本体语言到古典的... 本体语言。这允许使用古典的(广泛可用)描述逻辑推理机推理。。。
  • 配对

  • 在10篇文章中引用[sw11873]
  • 把一系列连接词定义为符合逻辑的矩阵,有一组指定值。。。真值表的生成古典的命题的逻辑. 事实上,这是一个特别的。。。
  • 纳米COP

  • 引用4篇文章[sw21547]
  • 小句自动定理证明器古典的一阶逻辑. 它是基于。。。小句连接演算古典的 逻辑. 关于微积分的更多细节可以找到。。。nanoCoP:定理证明器古典的一阶逻辑平等地。基于非小句。。。
  • 心理

  • 引用5篇文章[sw28518]
  • 极化的聚焦序列演算古典的 逻辑. 最后,Psyche有能力做出决定。。。
  • BL2D-V2型

  • 引用31篇文章[sw10378]
  • 正面逻辑,它们之间的联系在古典的Delaunay进近。四边形。。。
  • 棒棒鼻

  • 引用5篇文章[sw22624]
  • Lolliproc:到并发古典的线性的逻辑通过库里霍华德和控制。虽然很多类型。。。线性语言的全部力量逻辑--包括双重否定消除-仍然是难以捉摸的。。。这篇文章我们联系古典的线性的逻辑以及用Lolliproc语言进行的并发函数编程。。。
  • 孔2P

  • 引用4篇文章[sw21180]
  • HOL2P——一个古典的高阶逻辑具有二级多态性。本文介绍。。。符合逻辑的延伸的系统孔2P古典的高阶逻辑(HOL)带类型运算符变量。。。
  • 阿莱安塔普

  • 引用2篇文章[sw09987]
  • 一阶陈述性定理证明器古典的 逻辑. 我们现在αleanTAP,一个基于声明的画面。。。一阶基本定理的证明古典的 逻辑. 既然是声明性的,αleanTAP生成定理。。。