退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:命题逻辑和成套的最优证明系统
Jochen Meßner; Jacobo Torán;
机译:命题投影时态逻辑的完整证明系统
机译:每个NP集的P最优证明系统,但没有相对于Oracle的完全不相交的NP对
机译:命题逻辑和成套逻辑的最优证明系统
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:强凸可行集的梯度方法和仿射系统的最优控制
机译:表征承诺类的最优证明系统和完备集的存在性。
机译:命题时态逻辑的证明编辑器
机译:最佳标签提议装置和最佳标签提议系统是提出的最佳标签提议装置。
机译:演绎推理系统,用于响应来自多个系统传感器的信号来解决复杂的命题逻辑问题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。