...
机译:无存储语义学和别名逻辑
heap models; weakest precondition; total correctness;
机译:无存储语义学和别名逻辑
机译:
机译:用于识别别名检测的接近度的新型模糊逻辑模型
机译:无存储语义和别名逻辑
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:无存储语义和别名逻辑
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义