Calculus; Reactive power; Standards; Scientific computing; Computational modeling; Numerical models; Cognition;
机译:将嵌套的布尔函数编码为量化的布尔公式
机译:布尔函数作为量化布尔公式的模型
机译:一些对称量化布尔公式的简短证明
机译:用于量化布尔公式的二元感知微积分
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:关于... ...-Bernstein多项式及其在...中的应用
机译:量化布尔公式的对偶感知演算
机译:关于布尔公式的理论:替换,替换和素数公式