• 百万吨

  • 引用46篇文章[sw07136]
  • 百万吨语言。我们介绍百万吨语言,它提供了一个简单和可扩展的模块系统。。。数学理论的发展。百万吨允许在一个逻辑中立的表示中编码数学知识。。。代表了知识的互操作性和可比性。此外,百万吨定义了逻辑无关的形式良好的概念。。。
  • 百万吨

  • 引用16条[sw07905]
  • 进行了扩展。Maude MSOS工具(百万吨)是一个MSOS的可执行环境。。。MSDF)是受支持的规范语言百万吨. MSDF语法与MSOS相当接近。。。几个句法成分要保留隐式。百万吨加入对模块化的支持。。。莫德发动机。我们用过百万吨在编程语言语义的几个不同例子中。。。
  • 质量管理

  • 引用19篇文章[sw07137]
  • 基于泛型表示语言的human.par百万吨介绍了数学查询语言。。。作为百万吨应用程序编程接口。这个组合提供了一个可伸缩的索引。。。
  • MMTTeX公司

  • 引用2篇文章【sw31595】
  • 叙述的窗口和百万吨对于面向内容的表示。形式对象。。。写在百万吨在窗口中导入或打开新文档。。。直接窗口文档。在后一种情况下,百万吨解析并检查正式内容。。。
  • 白鲸

  • 引用25篇文章[sw01321]
  • 我们对这个项目的主要兴趣是。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 定理证明系统支持交互式证明开发。。。
  • 阿贝拉

  • 引用48篇文章[sw09461]
  • Abella交互式定理证明器(系统描述)。阿贝拉。。。
  • 阿格达

  • 在174篇文章中引用[sw09689]
  • Agda是一种独立类型的函数式编程语言。。。
  • 霍利汉

  • 引用了20篇文章[sw11553]
  • 霍尔(y)哈默:为荷兰提供的在线ATP服务。。。