• Z-树

  • 引用558篇文章[sw11707]
  • 表示,允许正常的 形式游戏,广泛形式游戏,双重拍卖。。。
  • 材料控制

  • 在323篇文章中引用[sw00551]
  • 互动环境正常的 形式动力系统分析。。。扩展系统,以及正常的 形式极限环分岔系数。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 系统只适用于小句正常的 形式,shell完全接受一个问题。。。
  • Walksat公司

  • 在204篇文章中引用[sw04328]
  • 已经转换成,连词正常的 形式. 他们开始分配一个随机值。。。
  • JBool公司

  • 引用100篇文章[sw06185]
  • 由联合定义的布尔函数正常的 形式(小句)或不相干的。布尔函数。。。
  • 程序NLMIXED

  • 参考第55条[sw11039号]
  • 随机效应)有标准的形式(正常的,二项式,泊松)或一般分布。。。
  • 同源性

  • 引用28篇文章[sw04871]
  • 基于有效Smith的单纯形同调正常的 形式拓扑空间几何性质的算法。。。史密斯的计算正常 形式通常稀疏的边界矩阵。。。史密斯的计算正常 形式并比较它们的运行时间。。。
  • 单位步行

  • 在34篇文章中引用[sw00993]
  • 合取中的布尔公式问题正常的 形式. 尽管它很简单,这个算法表现得很好。。。
  • 珍妮特

  • 参考33篇文章[sw07776]
  • 实现以计算Jacobson正常的 形式一个矩阵中有一个条目。。。
  • 德普QBF

  • 引用了30篇文章[sw09734]
  • prenex合取中的布尔公式(QBF)正常的 形式. 它基于DPLL算法。。。
  • 科梅特

  • 引用13篇文章[sw28720]
  • 不同定义翻译的价值正常的 形式. 在本文中,我们比较了不同的正常的...形式从实用的角度看翻译。一个封闭的。。。一阶析取公式正常的 形式有严重的缺点,即干扰。。。长度的增加正常的 形式. 在实现中,标准翻译是首选。。。
  • 调酒师

  • 参考22篇文章[sw07827]
  • 以下:减少表达和正常的 形式计算;Bruhat序;普通Kazhdan-Lusztig多项式;Kazhdan-Lusztig。。。
  • 色域

  • 引用15篇文章[sw30178]
  • 算法需要正常的-形式游戏作为输入。色域不能与。。。有限可拓与的分析正常的 形式游戏。色域是用来。。。
  • 预卫星

  • 引用18条[sw07832号文件]
  • 合取命题公式正常的 形式(CNF)。可满足性手册提供了一个极好的概述。。。
  • 尼诺菲克斯

  • 引用18条[sw09579]
  • 求反中的量化布尔公式(QBF)正常的 形式(NNF),它依赖于扩张。。。
  • 弗洛特

  • 引用16条[sw29685]
  • FLOTTER和SPASS是一个从句正常的 形式一阶逻辑转换器。。。
  • 数据发生器

  • 引用15篇文章[sw09904]
  • 微积分推断约化,分类推理,正常的 形式,用等式子集进行最小排序。。。
  • 竖琴

  • 引用15篇文章[sw26323]
  • 避免转换为任何类型的正常的 形式,并结合了验证冷凝程序和。。。
  • 自动写入

  • 引用8篇文章[sw01282]
  • 系统(TRSs)每个术语不在正常的 形式包含一个需要的redex(即redex。。。所需的重新定义导致正常的 形式如果它存在的话。然而,需要一般是。。。