• 米扎莫

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

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

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

  • 参考33篇文章[sw13667]
  • 语法框架。一种类型的理论语法形式主义。语法。。。
  • XPath

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

  • 在10篇文章中引用[sw19627]
  • LΩ用户界面:可爱的Ω兆用户界面。的能力。。。
  • 多个

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