退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:单调和剩余逻辑程序
Carlos Viegas Damásio; Luís Moniz Pereira;
机译:混合概率逻辑程序作为剩余逻辑程序
机译:关于正常剩余逻辑程序中稳定模型的存在与不唯一性
机译:单调定性逻辑程序:计算与应用
机译:单调和静置逻辑程序
机译:单调程序的全局优化:在多项式和随机程序设计中的应用。
机译:发育规划:产前双酚A诱导雌性绵羊代谢组织中表观遗传调节剂的非单调变化
机译:逻辑编程作为非单调推理的推理引擎
机译:连接单调和非单调的多米诺骨牌逻辑的方法和设备
机译:用于自定时单调逻辑进程的矢量逻辑方法和动态捕鼠器逻辑门
机译:向量逻辑方法和动态逻辑门本身具有时间精细的单调逻辑级数
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。