• 术语

  • 引用281篇文章[sw04942]
  • 行话是一个综合性的工具,旨在使。。。
  • 米兰达

  • 参考文献148篇[sw04986]
  • 米兰达:一种具有多态性的非严格函数语言。。。
  • 数量

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

  • 参考第4条[sw11993]
  • A线性的 逻辑校准仪(llprover)。这个小程序。。。
  • C4.5款

  • 在1096篇文章中引用[sw12176]
  • C4.5:机器学习程序。(C4.5已经。。。
  • 塞尔4

  • 引用了78篇文章[sw15222]
  • seL4:操作系统内核的形式化验证。完成。。。