退出
我的积分:
中文文献批量获取
外文文献批量获取
杜国平;
中国社会科学院大学哲学院;
中国社会科学院哲学研究所;
命题逻辑; 否定蕴涵系统定理; 化归方法; 能行证明;
机译:结合经典与超一致否定的证明系统
机译:定理证明的局限性和最小蕴涵的复杂性
机译:定理用属性和否定应用条件证明图形语法
机译:LEO-II-经典经典高阶逻辑的协作自动定理证明(系统描述)
机译:证明h-Cobordism定理的经典技术。
机译:使用定理证明关于系统生物学的形式推理
机译:定理的复杂性在限制和最小蕴涵中证明
机译:基本经典系统的上同调定理。
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:具有反射功能的交互式定理证明工具的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。