• ACL2s

  • 参考11篇文章[sw07734]
  • 最新的博伊尔-摩尔 定理 校准器,2005年ACM软件的接受者。。。
  • 占上风

  • 参考7篇文章[sw02114]
  • 可接受的形式博伊尔-摩尔 定理 校准器. 对于识别良好的电路类别。。。
  • 伊曼德拉

  • 1条引用[sw37911]
  • 描述伊曼德拉,一种现代计算逻辑定理 校准器旨在弥合决策之间的差距。。。半自动感应校准器博伊尔-摩尔像ACL2这样的家庭,还有交互式的证明助手。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 数量

  • 在149篇文章中引用[sw07543]
  • 计算逻辑手册。这本书是。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 爱丁堡LCF。一种机械化的计算逻辑。从。。。
  • 团结

  • 在184篇文章中引用[sw13461]
  • 统一仿真模型开发与分析。我们。。。
  • 在39篇文章中引用[sw19619]
  • 防蛤蜊规划师。牡蛎是一个互动的证据。。。
  • 牡蛎

  • 引用32篇文章[sw19629]
  • 定理用牡蛎证明和程序合成。马丁。。。