机译:关于经典逻辑中目标定向的概率
classical logic; goal-directed proofs; logic programming; permutability properties; proof search;
机译:统一版本的经典可证明性和直觉可证明性
机译:在古典高阶逻辑中组合和自动化古典和非古典逻辑
机译:佛朗哥·蒙塔尼亚(Franco Montagna)的可证明逻辑和多值逻辑研究
机译:从模态保证逻辑到一阶逻辑的贸易转换
机译:将机器学习启发式转换为可证明的算法:经典,随机和神经
机译:通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
机译:论经典逻辑中的目标导向可探性
机译:显式可证性:直觉和模态逻辑的预期语义