Craig interpolation Satisfiability checking Resolution;
机译:标记的插值系统,用于超分辨率,从句和局部证明
机译:从子句学习证明系统改进常规解析的分离
机译:从子句学习证明系统改进常规解析的分离
机译:通过泛化小实例的子句证明来证明参数化系统的安全性
机译:高阶从句逻辑的证明系统及其并行实现
机译:WLAN指纹定位系统中融合自适应局部线性嵌入(LLE)和基于图的标签传播的快速无线电地图构建方法
机译:标记的插值系统,用于超分辨率,从句和局部证明
机译:大气条件的局部快速评估(L-REaC)系统,设计和开发第5卷(移动L-REaC系统概念证明和四个可行性研究)。