机译:综合的子结构逻辑
Combining logics; cut-elimination; substructural logic;
机译:综合的子结构逻辑
机译:渐进式基本子结构核心模糊逻辑:渐进式基于米亚诺姆的逻辑
机译:基本的子结构核心模糊逻辑及其扩展:基于Mianorm的逻辑
机译:非交换模糊逻辑和子结构逻辑
机译:子结构逻辑,组合逻辑和lambda演算。
机译:实施研究逻辑模型:一种规划执行报告和综合实施项目的方法
机译:动态认知逻辑作为子结构逻辑
机译:基于神经网络和遗传算法的子结构仿真与综合