• Vcsn编号

  • 1条引用[sw21339]
  • 另一方面,是理论上的-基础是由雅克萨卡罗维奇在巴黎的Télécom ParisTech保证的。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 毫升

  • 引用512篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 验证9

  • 在174篇文章中引用[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • 莫德

  • 引用657篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • ACL2s

  • 参考11篇文章[sw07734]
  • ACL2s:“ACL2轿车”ACL2是最新的。。。
  • 批准

  • 引用145篇文章[sw07831]
  • 第1.2条:依赖关系中的自动终止证明。。。
  • 小鬼

  • 引用49篇文章[sw09143]
  • 交互式数学证明系统。小鬼是。。。
  • 卡宴

  • 引用了29篇文章[sw09686]
  • 卡宴-一种具有从属类型的语言。卡宴是。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 颜色:一个Coq库-创建重写。。。
  • CiME公司

  • 在38篇文章中引用[sw09970]
  • CiME是一个重写工具箱。从1996年开始发行。。。