Yale University.;
机译:模态逻辑中的算法对应和完整性。三,用替换对SQEMA算法的扩展
机译:模态逻辑中的算法对应和完整性。二。 SQEMA算法的多元和混合扩展
机译:模态逻辑中的算法对应关系和完整性。一,核心算法SQEMA
机译:使用类型2模糊逻辑的非线性动力系统建模和识别。基于元启发式算法的方法。
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:算术存储器是特定于模式的
机译:论可解释性逻辑的算术完整性证明。
机译:与阈值逻辑相关的附加算术运算。