• 米扎莫

  • 引用18条[sw01973]
  • 后桅后面的设计原则系统,并展示这些设计原则——主要是集中……战术性和可编程性证明 助理,它使证明代码“从长远来看。。。证明框架,文章和摘要的语义浏览,结构化浏览,证明使用训练有素的…米扎尔的建议证据顾问,演绎工具,如MoMM等。我们给出了一个概述证明...
  • 玛雅

  • 在26篇文章中引用[sw03423]
  • 工业规模软件的正式开发是。。。
  • Isar

  • 引用145篇文章[sw04599]
  • 定理证明系统同时支持交互式证明发展。。。
  • GF公司

  • 在34篇文章中引用[sw13667]
  • 语法框架。一种类型的理论语法形式主义。语法。。。
  • XPath

  • 引用375篇文章[sw15780]
  • XPath2.0是一种表达式语言,它允许。。。
  • 路易

  • 参考11篇文章[sw19627]
  • LΩ用户界面:可爱的Ω兆用户界面。的能力。。。
  • 多个

  • 参考6篇文章[sw21354]
  • 系统描述:多。多种策略证明规划师。。。