退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:析取逻辑程序的定点语义
Minker Jack; Rajasekar Arcot;
机译:析取逻辑程序的最小定点转换
机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
机译:具有概率语义的多值析取逻辑程序的定点表征
机译:逻辑逻辑程序设计研究
机译:一类具有析取约束的数学程序的新可验证平稳概念
机译:具有定点语义的逻辑的谓词介绍。第一部分:逻辑编程
机译:用于多个通道上的逻辑信号的选择器级-具有七个逻辑电路,可以执行逻辑信号的分离链接
机译:图像语义分割方法,可编程逻辑电路,系统和电子设备
机译:可编程逻辑控制器中的语义上下文化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。