机译:Tableau方法中用于自适应逻辑的快捷方式和动态标记
Centre for Logic and Philosophy of Science Universiteit Gent;
Centre for Logic and Philosophy of Science Universiteit Gent;
Adaptive Logic; Tableaux; Dynamics;
机译:动态标记的自适应谱伽辽金方法
机译:具有动态标记的自适应光谱Galerkin方法
机译:具有术语声明的逻辑的Tableau方法
机译:一种不一致的适应性逻辑的Tableau方法
机译:车辆横向导航的自适应方法的模糊逻辑控制。
机译:基于模糊逻辑和多元正态条件随机场的自适应曝光融合方法
机译:带有动态标记的自适应光谱Galerkin方法
机译:用于传感流动态自适应网格方法的计算流体动力学研究