• Z-树

  • 543篇参考文献[SW11707]
  • 表示,允许简单编程正常 形式广泛博弈形式游戏,双拍卖…
  • 马科特

  • 313篇参考文献[SW0551 ]
  • 交互环境的延续与正常 形式动力系统分析扩展系统和计算正常 形式极限环分岔系数
  • 吸血鬼

  • 221篇参考文献[SW0918]
  • 系统只使用子句正常 形式壳牌完全接受一个问题…
  • 沃克托

  • 202篇参考文献[SW04328 ]
  • 已被转换成连接词正常 形式. 他们开始分配一个随机值…
  • JBOOL

  • 97篇参考文献[SW06185]
  • 定义的布尔函数正常 形式(从句)或由解说词。布尔函数…
  • 过程混合

  • 52篇参考文献[ SW139 ]
  • 具有任意标准的随机效应形式正常,二项式,泊松)或一般分布…
  • 同源性

  • 28篇参考文献[SW0877]
  • 基于有效史米斯的单纯同调正常 形式拓扑空间的算法几何性质…史米斯的计算正常 形式一般来说,边界矩阵是稀疏的…史米斯的计算正常 形式稀疏矩阵,比较它们的运行时间…
  • 分类词

  • 34篇参考文献[ SW11249 ]
  • 不计算的某些不变量正常 形式. 文中还给出了算法的描述。
  • 单行道

  • 34篇参考文献[SW093]
  • 合取中布尔公式的问题正常 形式. 该算法虽然简单,但性能良好。
  • 珍妮特

  • 33篇参考文献[SW0777]
  • 实现计算雅各布森正常 形式矩阵的条目在此Weyl…
  • 脱氧胆红素

  • 29篇参考文献[SW0943]
  • PRENEX合取中的布尔公式(QBF)正常 形式. 它是基于DPLL算法的。
  • 科米特

  • 13篇参考文献[SW28 720]
  • 不同定义翻译的价值正常 形式. 在本文中,我们比较不同正常形式从实用的角度进行翻译。通常翻译一个封闭的…一个析取的一阶公式正常 形式有严重的缺点,即破坏…长度的增加正常 形式. 在实现中,标准翻译是首选的…
  • 考克斯特

  • 22篇参考文献[ SW07827 ]
  • 以下:减少表达式和正常 形式计算;BuHAT排序;普通Kazhdan Lusztig多项式;Kazhdan Lusztig…
  • 预扫描

  • 18篇参考文献[ SW07832 ]
  • 合议命题公式正常 形式(CNF)。可满足性手册给出了一个极好的概述…
  • 尼诺福克斯

  • 18篇参考文献[SW0959]
  • 否定中的量化布尔公式(QBF)正常 形式(NNF),它依赖于扩展…
  • 色域

  • 12篇参考文献[SW30178]
  • 算法要求正常-形式游戏作为输入。色域不与…混淆。有限广延分析正常 形式游戏色域被使用…
  • 浮选机

  • 16篇参考文献[SW29 685 ]
  • 漂浮物和水蚤是一个从句正常 形式一阶逻辑转换器…
  • 调试器

  • 15篇参考文献[SW09904]
  • 推断推论的微积分,分类推论,正常 形式并且至少与等式子集进行排序…
  • 竖琴

  • 15篇参考文献[SW26323 ]
  • 避免转换为任何类型正常 形式并结合证明冷凝过程与…
  • 自硬岩

  • 8篇参考文献[ SW01282]
  • 系统(TSS)每个术语不在正常 形式包含一个需要的赎回(即,一个ReDX…需要的修复结果导致正常 形式如果它存在。然而,尼采一般来说…