退出
我的积分:
中文文献批量获取
外文文献批量获取
李祥; 李广元;
贵州大学计算机软件与理论研究所;
陕西师范大学;
三值逻辑; Craig中插定理; Herbrand定理; 三值命题逻辑; 三值谓词逻辑; 数理逻辑;
机译:Herbrand定理的一种改进及其在模型生成定理证明中的应用
机译:公制结构中的近似Herbrand定理和可定义的函数
机译:Herbrand的Prenex Goedel逻辑定理及其对定理证明的后果
机译:随机最佳控制中的信息流程和Meyer可测量过程的随机表示定理=用于迈尔可测量过程的随机最佳控制中的信息流程和表示定理
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:Herbrand关于先验哥德尔逻辑的定理及其对定理证明的影响
机译:无限维中的反演定理和plancherel定理
机译:定理定理在那里有定理伴随定理
机译:确定理解度的系统和确定理解度的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。