机译:逻辑解释的结合论观点
Abstract logic; Coalgebra; Interpretation; Program refinement;
机译:逻辑解释的结合论观点
机译:概率逻辑编程的结合论观点
机译:欧米茄自动机:常规欧米茄语言的合并论观点
机译:作为集体选择规则的社会福利职能的基础解释
机译:12年级物理学生的空间能力,逻辑思维,数学表现和运动学图解释技能之间的关系
机译:细胞周期调控逻辑模型的进展与挑战:多尺度整合酵母细胞模型的前景
机译:逻辑解释的结合论观点
机译:真理模拟:走向关于逻辑和游戏的核代数观点.211软件工程