• 荷兰语

  • 在502篇文章中引用[sw05492]
  • 实现组合的平台演绎、执行和属性检查。。。
  • 水獭

  • 引用313篇文章[sw02904]
  • 当前自动演绎系统水獭是用来证明一阶逻辑中的定理。。。第四代阿贡国家实验室演绎它的祖先(可以追溯到20世纪60年代早期)包括。。。
  • Z

  • 引用278篇文章[sw10291]
  • 除了自然的演绎微积分,见下文——仅介绍。。。对自然的广泛而乏味的阐述演绎微积分,这不是进一步使用。。。
  • 数据日志

  • 引用282篇文章[sw20023]
  • 常用作查询语言演绎的数据库。近年来,数据日志发现。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302号]
  • 各种学科的理论,演绎的这些学科的信息系统,专家系统。。。扩展证明,将这些转换为自然演绎证明,构造自然演绎校对,翻译自然演绎... 构建自然环境的TPS交互设施演绎证据被用在。。。
  • 特维尔

  • 在169篇文章中引用[sw06888号]
  • 指定、实现和证明演绎的程序设计语言和逻辑等系统。大。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 提供一个用于指定和原型化的环境演绎基于规则的语言系统。。。在逻辑框架中演绎系统可以表达和组合。。。
  • XSB公司

  • 引用138篇文章[sw13877]
  • 逻辑编程和演绎的用于Unix和Windows的数据库系统。XSB序言。它是。。。
  • 原因3

  • 引用128篇文章[sw04438]
  • 为什么3是一个平台演绎的程序验证。它为规范提供了丰富的语言。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 各种学科的理论,演绎的这些学科的信息系统,专家系统。。。扩展证明,将这些转换为自然演绎证明,构造自然演绎校对,翻译自然演绎...
  • 乐高

  • 引用107篇文章[sw09685]
  • 自然环境中的交互式证据开发演绎风格。它支持精化证明作为基本。。。
  • 保护神

  • 参考58篇文章[sw17512]
  • 定义本体的接口。它还包括演绎的用于验证模型一致性的分类器。。。
  • 小鬼

  • 引用了50篇文章[sw09143]
  • 帮助人类控制演绎的过程和人类对结果的理解。。。
  • 高阶逻辑

  • 引用47篇文章[sw01580]
  • 高阶和模块化逻辑程序设计,以及演绎的数据库。。。
  • 2.0兆帕

  • 引用44篇文章[sw02589]
  • 即使是一个简单的归纳或演绎的接受正规数学训练的系统。。。
  • 马拉雷亚

  • 引用了43篇文章[sw10278]
  • 推理)是一个简单的元系统迭代组合演绎的自动推理工具。。。
  • 精灵

  • 引用了43篇文章[sw21361]
  • 关于计算和演绎,尚未公开。在那里。。。
  • 凯玛拉

  • 在39篇文章中引用[sw03709]
  • 混合动力系统的验证工具演绎的实代数和计算机代数证明技术。。。
  • 台阶

  • 引用36篇[sw17948]
  • 状态系统,但将模型检查与演绎的允许验证的方法。。。
  • GEX公司

  • 参考33篇文章[sw09961]
  • 过去二十年,包括演绎的基法、吴氏法、面积法。。。