退出
我的积分:
中文文献批量获取
外文文献批量获取
周训伟;
北京联合大学信息技术研究所;
互逆主义逻辑; 周氏坐标系层次; 全抽象事实空间; 二层显式归纳复合; 单逻定理证明;
机译:正常条件逻辑的嵌套后续演算和定理证明:定理证明者NESCOND
机译:扩展的可能性逻辑的带注释的逻辑定理证明
机译:在抽象的维纳空间中,Chern-Simons积分的单环逼近的渐近展开
机译:键入移动进程的模态逻辑中的完整性和逻辑全抽象
机译:法律上的金钱:大量抽象的性质。关于法律范畴的对偶性和货币继承的抽象的辩证逻辑文章。
机译:空间中的数字:具体情况与抽象情况之间的差异
机译:关于并发逻辑语言通信的异步性质:基于序列的全抽象模型
机译:并发逻辑语言中的通信异步性:基于序列的全抽象模型
机译:通用提议模态逻辑定理证明装置
机译:模态逻辑定理证明方法
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。