• 水獭

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

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

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

  • 在14篇文章中引用[sw09796]
  • 系统自动化 演绎(SAD):一种验证证据的工具。在这篇论文中,一个证明。。。