结果1至20300
排序依据：

  • 水獭
  • 第313条引用[sw02904]
  • 现在的自动化 演绎系统水獭是用来证明一阶逻辑中的定理。。。

  • 马拉雷亚
  • 引用了43篇文章[sw10278]
  • 简单元系统迭代组合演绎的 自动化推理工具（现在的E和SPASS。。。

  • ETPS公司
  • 在153篇文章中引用[sw06302]
  • 证明包括硬件和软件验证，部分自动化各种数学活动，促进发展。。。各种学科的理论，演绎的这些学科的信息系统，专家系统。。。

  • 可悲的
  • 在14篇文章中引用[sw09796]
  • 系统自动化 演绎（SAD）：一种验证证据的工具。在这篇论文中，一个证明。。。