Isomorphisms; Set theory; Theorems; Foreign technology; Predicate logic; Calculus of constructions;
机译:制冷系统冷水系统中一类混合逻辑动力系统的建模与控制方法
机译:一种使用冷藏系统冷冻水系统混合逻辑动力系统的建模与控制方法
机译:类型和效果系统语义中用于逻辑关系和单子提升的分解系统
机译:使用间隔类型-2模糊逻辑系统设计广义Type-2模糊逻辑系统和模拟退火
机译:无型语言的高级逻辑类型系统
机译:保守的数量最佳系统和明确的A(1 + 1) - 二维广义耦合MKDV型系统
机译:重写逻辑中的纯类型系统:在一阶逻辑框架中指定类型化的高阶语言
机译:逻辑系统是广义类型系统