...
机译:实现线性布尔函数的最小π方案的局部无重复性的充分条件
formula complexity; π-scheme; lower bound on the complexity;
机译:实现线性布尔函数的最小π方案的局部无重复性的充分条件
机译:判断布尔函数系统的独立性的充要条件
机译:一个布尔函数序列的渐近最小格式
机译:基于微分能量函数的渐进稳定非线性系统的最小实现的充分条件
机译:双曲守恒律的局部外推方法:Eno和Goodman-Leveque基本方案以及TVD属性的充分条件
机译:关于布尔函数的各种非线性测度
机译:通过可控性和可观测性函数实现非线性最小化的充分条件