退出
我的积分:
中文文献批量获取
外文文献批量获取
张法清;
西南大学政治与公共管理学院逻辑与智能研究中心;
正规模态逻辑系统; 完全性; 典范性; 完全性证明;
机译:命题非正规模态逻辑的多关系语义变体
机译:几种命题逻辑系统中命题优劣的统一集成方法及其应用
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:概率命题逻辑系统是主题微积分经典正规系统的事件语义
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:模态命题逻辑系统中可证明的计算复杂性
机译:命题模态逻辑的矩阵定理证明器的实现
机译:命题模态逻辑定理证明装置
机译:通过注入表现出反命题统计模态的主题来扰乱以量子表示形式考虑的一组主题对命题的情境化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。