• 水獭

  • 312篇参考文献[SW02904]
  • 水獭的应用研究综述代数形式逻辑。水獭及其前身…有限半群的区域,三元布尔 代数逻辑演算、组合逻辑、群论、格理论…
  • 得到

  • 60篇参考文献[SW09464 ]
  • 过程代数的变量、表达式、方程、函数、向量、矩阵和布尔像一个科学计算器的表达式…超越。算术领域的问题,代数,三角,微积分,线性代数命题演算…
  • 西格斯

  • 24篇参考文献[ SW02638 ]
  • 低曲线段代数的程度和布尔对由这些片段限定的多边形的操作…
  • 火星

  • 7篇参考文献[SW14516]
  • 有界正则半解析集布尔 代数并用同胚流图对其进行了评价。
  • JFuffii-BATLANSLAT

  • 3篇参考文献[ SW22488 ]
  • 基于插值的不确定性建模工具布尔 代数. 在本文中,我们提出了一个计算机…实现插值的软件布尔 代数使用Java编程语言。内插布尔 代数实值实现布尔 代数主要用于性能测量和不确定性建模。将其转化为模拟广义布尔多项式(GBP)。所有的转换步骤显示…
  • 多鲍里

  • 41篇参考文献[SW07223 ]
  • 基于形式化的软硬件验证布尔表达式,除了复杂度外,还受到影响…算术组件。我们确信代数的方法更适合,我们相信…
  • JSCL奖惩者

  • 2篇参考文献[ SW055 26]
  • 矩阵,因式分解,导数,积分(有理函数),布尔 代数简化,MATML输出,Java代码生成…
  • 双基

  • 3篇参考文献[SW06569]
  • 减少与Maaulay2计算机代数计算系统布尔对合和Gr.Bbn-基。在这…麦考莱2计算机代数允许计算的系统布尔对合基和Gr.Bbn-基…构造算法布尔计算机中可用的Grübnar基代数系统
  • 法布拉

  • 1篇参考文献[SW30213]
  • 问题公式的变换布尔 代数在Fabula系统中。目的…公式变换的实现布尔 代数. 基本变换,如最小值的估计…
  • HITAG2

  • 9篇参考文献[SW14133]
  • 从两层的构建谈起布尔在HITAG2中的功能。然后我们研究一些…嵌套函数的性质,如平衡性,代数的学位,Walsh spectra和代数的免疫。。。
  • 爱茉莉

  • 12篇参考文献[SW20980]
  • 非确定性自动机最小化,语言操作(如:布尔和常规操作,商,洗牌产品,测试…句法幺半群及其计算代数的分解…
  • 稳定的

  • 2篇参考文献[SW11913]
  • 硬验证问题的结合布尔计算机推理代数. 本文提出…
  • 亚当

  • 7篇参考文献[SW21957]
  • 代数. 背景:许多生物系统用离散模型定性建模,例如概率模型。布尔基于动态的刀具分析代数的模型(亚当),它提供了这个和其他分析方法…
  • 巴索尔

  • 0篇参考文献[SW04144]
  • 缩写Basover指的是我们的混合词。布尔-代数的方法。也就是说,我们证明的对象…
  • 博洛菲

  • 1篇参考文献[SW2067 4]
  • 评估密码特性布尔函数,例如非线性,代数的免疫、弹性等。它也…
  • 3BA

  • 2篇参考文献[SW25685 ]
  • 条款或解决制度布尔多项式。一方面,存在着巨大的…来自交换性等不同领域代数SAT或SMT,可以使用…计算机中的求解器代数系统我们提出了一个C++平台的实现。它结合了布尔边界基算法(BBBA)与CDCL…
  • 伏安法

  • 2篇参考文献[SW2067 3]
  • 密码学。表示向量的类布尔函数可以由几种可选类型初始化…如真值表、迹表示和代数的正常形式(ANF),等等。最…获得非线性、线性距离,代数的度,线性结构和频率分布的绝对…直接和、瓦工(向量的并行应用)布尔在Rijnday-Civer中使用的函数…
  • 伊里特

  • 5篇参考文献[SW21528 ]
  • 以及多边形对象,并使用布尔两者的操作。除了它强有力的支持之外…自由形状包括强符号、数字和代数的基于计算和分析,支持三元…