退出
我的积分:
中文文献批量获取
外文文献批量获取
卢中宁; 付金华; 张志锋;
郑州轻工业学院软件学院;
郑州轻工业学院计算机与通信工程学院;
混合程序; 仿真逻辑公式; 仿真语义; 形式推演规则;
机译:一阶逻辑的一阶逻辑
机译:好奇的一阶逻辑的经典前消心片段的完整性
机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
机译:关于一些次经典一阶逻辑的不确定性
机译:抽象逻辑和一阶逻辑的扩展
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:关于经典一阶逻辑的自然演绎:Curry-Howard对应,强归一化和Herbrand定理
机译:动态一阶逻辑的定理证明与编程
机译:具有动态本体的协同一阶逻辑系统
机译:无限制一阶逻辑的自动证明方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。