• 蒙脱土

  • 46篇参考文献[SW07136]
  • 蒙脱土语言我们介绍了蒙脱土语言,它提供了一个简单的和可扩展的模块系统…数学理论的发展。蒙脱土允许在逻辑中性表示中编码数学知识…代表知识可互操作,因而可比。此外,蒙脱土定义良好的逻辑独立概念。
  • 蒙脱土

  • 16篇参考文献[SW07905]
  • 扩展。Maude MSOS工具蒙脱土是MSOS实现的可执行环境。MSDF)是支持的规范语言蒙脱土. MSDF语法与MSOS非常接近…几个句法成分要保持隐式。蒙脱土加入模块化支持…莫德发动机我们已经用过蒙脱土在几个不同的例子从编程语言语义…
  • QMT

  • 18篇参考文献[SW07137]
  • 基于泛型表示语言的人性化PAR蒙脱土我们介绍了数学查询语言…QMT的一部分蒙脱土应用程序接口这种组合提供了可伸缩索引。
  • MMTTEX

  • 2篇参考文献[SW31595]
  • 叙事之窗蒙脱土对于面向内容的表示。形式对象…写在蒙脱土并在新窗口文档中导入到打开图像或写入…直接打开窗口文档。在后一种情况下,蒙脱土在…中解析和检查正式内容。
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • PVS

  • 598篇参考文献[SW0384]
  • PVS是一种验证系统。
  • OMDOC

  • 84篇参考文献[SW07138]
  • OMDOC:走向行政管理的互联网标准…
  • 阿贝拉

  • 46篇参考文献[SW09461 ]
  • 阿贝拉交互式定理证明器(系统描述)。Abella…
  • 阿加达

  • 170篇参考文献[SW0969]
  • AGDA是一种依赖类型的函数式编程语言。