...
机译:定理证明条件逻辑:Condlean和Goalduck
LSIS-UMR CNRS 6168 Universite Paul Cezanne - Aix-Marseille 3 Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20 (France);
conditional logics; theorem proving; sequent calculi; goal-directed proof methods; labeled deductive systems;
机译:正常条件逻辑的嵌套后续演算和定理证明:定理证明者NESCOND
机译:高阶逻辑定理证明者中条件概率的推理
机译:自动定理证明多重半精算的新代数工具:一种提高时间逻辑证明者效率的结构
机译:CondLean:条件逻辑的定理证明
机译:通过翻译成描述逻辑来自动证明定理。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:证明条件逻辑的定理:CondLean和GoalDuck