退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Epsilon-Logic比有限结构上的一阶逻辑更具表现力
Martin Otto;
机译:有限结构上一阶逻辑程序的有序完成
机译:有限结构的后继不变一阶逻辑
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:有限结构上一阶逻辑程序的有序补全
机译:有限词的一阶逻辑的表达性和简洁性。
机译:数学模糊逻辑中一阶结构类的句法表征
机译:一阶逻辑表达片段的有限模型推理
机译:无限制一阶逻辑的自动证明方法
机译:无约束一阶逻辑的自动证明方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。