DISP, University of Roma Tor Vergata, Via del Politecnico 1, I-00133 Roma, Italy;
IASI-CNR, Viale Manzoni 30, I-00185 Roma, Italy;
机译:逻辑程序转换的基于约束的正确性证明
机译:转换类型和统一,用于自动纠正不安全的程序
机译:转换类型和统一,用于自动纠正不安全的程序
机译:逻辑程序变换自动正确性证明
机译:自动证明程序分析和转换的正确性。
机译:使用模糊逻辑和动态编程自动检测MR图像上的心脏轮廓。
机译:逻辑程序转换的自动正确性证明⋆
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息