The University of Iowa.;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:几种命题逻辑系统中命题优劣的统一集成方法及其应用
机译:命题逻辑中产生自变量和反自变量的算法
机译:搜索算法的逻辑:理论和应用
机译:三相感应电动机的无速度传感器控制:快速正交搜索算法在交流电动机无速度传感器控制中的应用研究。
机译:将平面生物发光配准到磁共振和X射线计算机断层摄影图像作为开发生物发光断层摄影重建算法的平台
机译:搜索算法的逻辑:理论与应用