• VCSN

  • 1篇参考文献[ SW21339 ]
  • 另一方面,它的理论-铸造性由Jacques Sakarovitch在Teleelecom PARISTCH…
  • 辅酶Q

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

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 箴言9

  • 168篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…
  • 莫德

  • 650篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • MACE4

  • 195篇参考文献[SW06905]
  • 有限模型查找器MACE4。MACE4是一个程序…
  • 证明

  • 144篇参考文献[ SW07831 ]
  • 证明1.2:在依赖关系中自动终止证明…
  • IMPS

  • 49篇参考文献[SW09143]
  • IMPS:一个交互式数学证明系统。IMPS是…
  • 卡宴

  • 29篇参考文献[SW0966]
  • 卡扬——一种依存类型的语言。卡宴是…
  • 西梅

  • 38篇参考文献[SW0970]
  • cIME是一个重写工具箱。分布自1996…