• 引用了35篇文章[sw12334]
  • 具有-影响. Coq已经包含了一个强大的功能语言。。。
  • PG求解器

  • 引用24篇文章[sw14051]
  • 解决过程。作为一个-影响我们得到了令人惊讶的观察,齐龙卡的递归。。。
  • 科卡

  • 参考6篇文章[sw19068]
  • 训练的方式和潜力在哪里-影响很明显。。。
  • 空间排序

  • 引用4篇文章[sw11153]
  • 而不是主内存。作为另一个-影响,这些排序函数通常改善内存的局部性。。。
  • 里班顿

  • 第3条引用[sw28352]
  • 表面网格,从而造成不良-影响在一个改变了的。。。
  • 欧洲银行业协会

  • 1条引用[sw19067号]
  • 多功能。我们呈现一个形状-影响对C的分析,可以有效地。。。基于可观测的程序抽象-影响功能。根据模型发现错误。。。
  • 斑马

  • 1条引用[sw15672]
  • 不用担心-影响他或她所做的任何改变。。。
  • 毫升

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

  • 在14篇文章中引用[sw02743]
  • HYPROLOG:一种新的逻辑程序设计语言。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。