...
机译:逻辑在高级类型中的一些应用
School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW 2052, Australia;
bounded arithmetic; second-order theories; functionals; higher-order complexity;
机译:用于BDD SFQ逻辑电路的基于单元的设计方法:高速测试和大规模电路应用的可行性
机译:用于BDD SFQ逻辑电路的基于单元的设计方法:高速测试和大规模电路应用的可行性
机译:参数区间2型模糊逻辑系统的可行遗传优化策略
机译:在基本仿射逻辑中键入的可行算法
机译:完整的概率逻辑演绎系统,应用于Harsanyi型空间。
机译:基于PID型模糊逻辑控制器的运动控制应用方法
机译:逻辑的一些应用在更高类型的可行性