• 吸血鬼

  • 229篇参考文献[SW0918]
  • 一阶自动定理证明器古典 逻辑. 它由一个外壳组成…
  • 霍尔灯

  • 285篇参考文献[SW0680]
  • 交互式证明助手古典高阶逻辑,旨在作为一个干净和简化的版本…
  • 逆合成孔径雷达

  • 138篇参考文献[SW04999 ]
  • 逻辑实施。理论、定理、证明过程等可以在伊莎贝尔之间互换使用。经典证明…支持广泛的对象-逻辑学. 当前的终端用户设置主要是…
  • 泽农

  • 21篇参考文献[SW0653]
  • 一阶自动定理证明器古典 逻辑(平等),基于TabLouu方法…
  • 利奥三世

  • 13篇参考文献[SW18516]
  • 基于代理的演绎系统古典高阶逻辑被开发出来。Leo III结合…表达非推理的支持古典 逻辑学
  • 魔术

  • 12篇参考文献[SW11872]
  • 连接词是一种工具。符合逻辑的研究它计算小代数(通常用…元素)适合于模拟某些非古典 逻辑学. 一路上,它消除了…
  • 兰科普

  • 21篇参考文献[SW0976]
  • 非常紧凑的定理证明器古典一阶逻辑,基于连接(TabLoue)演算…直觉连接演算逻辑. LeCANOP 2扩展了古典证明LeCoup 2加入…
  • 拉帕斯

  • 41篇参考文献[SW0463]
  • 其他语义学古典否定、部分稳定模型的翻译逻辑程序
  • 图形库

  • 109篇参考文献[SW01555 ]
  • 英语字母词古典小说作品,城市之间的公路距离…经济,大学足球成绩,计算逻辑电路,蒙娜丽莎等其他是基于…
  • 崔弟

  • 7篇参考文献[SW22090]
  • Java库的全面收集符合逻辑的人工智能和知识表示的几个方面。Twity…不同的知识表示形式,如古典 逻辑学条件的逻辑学概率的逻辑学和论证。此外…
  • 回肠

  • 13篇参考文献[SW0977]
  • 一阶直觉演算逻辑. 它扩展了古典通过添加前缀的连接演算…逻辑我们证明是正确的和完整的。微积分是通过扩展古典
  • 德洛里安

  • 15篇参考文献[SW2920]
  • 应用尽管本体论无可争议的成功,古典本体不适合处理…不确定性,因此,几个模糊的扩张逻辑粗糙的逻辑除了其他形式主义之外,还有…模糊粗糙本体语言的翻译古典本体语言。这允许使用古典(可广泛使用的)描述逻辑推理引擎推理…
  • 临时雇员

  • 12篇参考文献[SW0989]
  • FoTL,是一个扩展古典一阶逻辑离散算子的时间算子
  • 马蒂斯特

  • 10篇参考文献[SW11873]
  • 说,定义了连接词的列表。符合逻辑的矩阵,具有一组指定值…中的真值表生成古典命题的逻辑. 事实上,这是一个特殊的…
  • BL2D V2

  • 31篇参考文献[SW1078]
  • 正面逻辑它们的连接实现为古典Delaunay方法。Quadrilaterals…
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • Lolliproc:从古典线性的逻辑通过Curry Howard和控制。虽然很多类型…全线性语言的语言逻辑-包括双重否定消除-仍然难以捉摸…本文我们连接古典线性的逻辑同时在LoLIPROC语言中进行并发功能编程。
  • 普赛克

  • 4篇参考文献[SW28 518]
  • 极化的聚焦序列演算古典 逻辑. 最后,普赛克具有号召决策的能力。
  • HOL2P

  • 4篇参考文献[SW21180]
  • HOL2P——一个系统古典高阶逻辑具有二级多态性。本文介绍了…符合逻辑的扩展的系统HOL2P古典高阶逻辑(HOL)具有类型运算符变量…
  • 纳米晶

  • 2篇参考文献[SW21547 ]
  • 子句自动定理证明器古典一阶逻辑. 它是基于…子句连接演算古典 逻辑. 关于微积分的更多细节可以找到…NANOCOP:定理证明器古典一阶逻辑平等的。基于非句法语…
  • 壁画

  • 9篇参考文献[SW23 627 ]
  • 公理系统古典谓词演算与A逻辑部分函数。下一个…