退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:展开通用逻辑程序的展开式转换,以建立充分的语义
Seki Hirohisa;
机译:超越Tamaki-Sato样式的普通逻辑程序的展开/折叠转换
机译:用于扩展逻辑编程的论证语义的参数化层次结构及其在充分依据的语义中的应用
机译:完善的语义下可废逻辑和逻辑程序之间的可定义性
机译:通过展开/折叠变换证明Co-Logic程序的属性
机译:对可靠且稳定的逻辑编程语义的研究。
机译:从实验展开率评估的去溶剂化/溶剂化障碍对蛋白质折叠/展开的能量和结构性后果
机译:超越Tamaki-Sato样式的普通逻辑程序展开/折叠转换
机译:使用第二可编程逻辑设备的视频处理模块,该第二可编程逻辑设备重新配置第一可编程逻辑设备以进行数据转换
机译:具有多路复用器转换的可编程逻辑器件设计实现
机译:通过折叠和展开在婴儿车中的婴儿座椅和婴儿学步车的转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。