退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将非单调推理纳入约束逻辑编程的框架
Dix Jürgen; Stolzenburg Frieder;
机译:具有非单调推理的逻辑编程的统一观点
机译:使用元编程,约束逻辑编程和近似推理进行专家系统设计
机译:基于约束的完整性检查约束逻辑编程的绑架和非单调扩展
机译:解析逻辑的逻辑编程框架。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:将非单调推理纳入约束逻辑规划的框架
机译:逻辑编程作为非单调推理的推理引擎
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:逻辑电路的时序约束生成系统以及逻辑电路的时序约束生成方法,控制程序和可读记录介质
机译:基于案例的推理方法和系统以及用于执行基于案例的推理的程序的可读记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。