...
机译:顺序排序方程程序模公理的部分评估框架
VRAIN Universitat Politècnica de València;
Universidad de Guayaquil;
University of Illinois at Urbana-Champaign;
机译:有序排序的条件规格模公理的地面汇合
机译:顺序排序同时嵌入缔合的缔合的联邦和/或换向公理的模组
机译:排序排序的等式充实模公理
机译:订单排序的公正计划的部分评估模数公理
机译:动态规划方程的偏微分方程。
机译:动态规划理论中的功能方程。二。非线性微分方程
机译:以公式为单位对订单排序的国家计划进行部分评估
机译:方程作为部分评价和抽象解释的统一框架;软件工程部