退出
我的积分:
中文文献批量获取
外文文献批量获取
钟克钊;
逻辑证明; 实践检验; 逻辑分析; 真实性; 思维规律; 真理; 社会实践; 演绎推理; 适用范围; 结论;
机译:完全标记的直觉模态逻辑证明系统
机译:逻辑证明理论和代数
机译:真实算术逻辑逻辑证明理论
机译:支持以目标为导向的组织实施-在实践检验的方法中结合DEMO和过程仿真
机译:行政裁决中的调解和解决:理论和实践检验。
机译:经实践检验的健康素养框架
机译:Santaraksita和Kamalasila的Nihsvabhava和Dharmakirti在他的Vadanyaya中逻辑证明的逻辑证明
机译:逻辑证明的有效表示和验证
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:从命题逻辑证明满意公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。