• 卓别林

  • 11篇参考文献[SW16362]
  • 谐波多对数重量四对于任何复杂的数字论点. 该算法是基于…
  • 快速算法

  • 4篇参考文献[SW19192]
  • 德尔普:A加权的可撤销的论证基于递归语义的框架。在这篇文章中…
  • 泽利格

  • 9篇参考文献[SW17526]
  • 公共一致结构调用与集合论据. 此外,Zelig自动化周围的所有建筑物…支持这些包括自举、切刀和重写。加权数据。特别是,Zelig自动生成…
  • 吉蒂

  • 5篇参考文献[SW10121]
  • 注释,它指定归一化的顺序。论据并应用重写规则。策略注释…潜在的TRS。工具是“光”重量“紧凑但快速的代码…
  • 称重

  • 0篇参考文献[SW1591]
  • 模糊限制语(1995)重量R中的函数模型论据,用户也可以估计…
  • 阿达巴格

  • 6篇参考文献[SW08024]
  • 实现了进入“控制部分论点“ReTube”。介绍了四个重要的新特点…变量在每个树和重量这些树…
  • 特库德

  • 5篇参考文献[SW11318]
  • 用纯自旋支持初始数据加权的球面谐廓线我们提出了一个广泛的…从超辐射腔的角度理解论点
  • 莫塔巴

  • 2篇参考文献[SW12739 ]
  • 点的样本,其中两个函数论据并且相应的值仅已知…分段多项式回归,拉格朗日插值,逆距离加权和最近邻估计,因此也…
  • 小型黄铜

  • 1篇参考文献[SW31298]
  • 软约束已经被提出,例如加权的、模糊或概率约束。所有这些…从任意PVS的半环。两个论据借鉴范畴理论的元素。迷你黄铜转弯…
  • 辅酶Q

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

  • 258篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 抱怨

  • 373篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • 挑剔

  • 54篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。
  • NLTK

  • 27篇参考文献[SW0626]
  • 这本书提供了自然语言的介绍。