• 自动机

  • 389篇参考文献[SW07127]
  • 自动机是一种语言,由N.G.布鲁伊在60年代后期以…
  • PAL+

  • 3篇参考文献[SW21366 ]
  • 德布鲁因的Pal+精神自动机(de Bruijn,1980)。与…相比
  • 辅酶Q

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

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 阿加达

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

  • 21篇参考文献[SW09767 ]
  • CSI -汇合工具。本文介绍了…