• 自动机

  • 引用396篇文章[sw07127]
  • 自动机是一种由N.G.Bruijn在60年代后期为。。。
  • 朋友+

  • 引用3篇文章[sw21366]
  • 德布鲁恩的朋友的精神自动机(de Bruijn,1980年)。与。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 计算逻辑手册。这本书是。。。
  • 低成本

  • 第157条引用[sw08360]
  • 爱丁堡LCF。一种机械化的计算逻辑。从。。。
  • 阿格达

  • 引用了173篇文章[sw09689]
  • Agda是一种独立类型的函数式编程语言。。。