automated deduction; quantum computing; orthomodular lattice; Hilbert space;
机译:与理论的一阶自动化推理:扣除模数理论符合实践
机译:哈伯定律的理论推论始于ΛFRW-宇宙论背景下的MoND理论
机译:AGATHA:使用启发式搜索自动化判例法理论的构建
机译:正交理论的Megill-Pavicic公式公理的自动推论
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:DNA计算机推论的自然演绎法则
机译:使用类型证明搜索和演绎模态的B集理论中的自动演绎