...
机译:基于经典逻辑的浅型多态系统的健全性和主要环境
机译:控制问题中1型模糊逻辑系统,区间2型模糊逻辑系统和广义2型模糊逻辑系统的比较研究
机译:将纯类型系统浅层嵌入一阶逻辑
机译:基于HVAC管理系统的高级模糊逻辑的上下文驱动控制
机译:基于古典或直觉逻辑构造具有上下文限制的免剪切顺序系统
机译:基于类型1和类型2模糊逻辑推理系统从测井中识别碳酸盐岩岩相和渗透率的数据挖掘:方法和比较研究
机译:通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
机译:基于经典逻辑的浅多态型系统的稳健性和主要上下文