退出
我的积分:
中文文献批量获取
外文文献批量获取
Zhen-HuaDuan; MaciejKoutny;
UniversityofNewcastleuponTyne;
NewcastleuponTyneNE17RU;
U.K.;
XidianUniversity;
Xi'an710071;
P.R.China;
时序逻辑; 操作符; 并行操作; 程序设计语言; 投影; 逻辑系统; 进程; 区间; 模型理论; 性质;
机译:一种基于广义分布语义的新型概率约束逻辑程序设计语言
机译:一种基于约束逻辑程序设计的研究蛋白质灵活性的新方法。在雌激素受体情况下的首次应用。
机译:一种可识别合并症患者临床实践指南中不一致之处的约束逻辑程序设计方法
机译:排队网络仿真逻辑程序设计语言及其处理系统的研究
机译:化学程序设计语言:HTML5 / JavaScript评述
机译:一种新的抽象逻辑程序设计语言及其析取逻辑规划的量化消除方法
机译:基于LF逻辑框架的程序设计语言模块系统
机译:动态面向对象程序设计语言中管理对象之间动态关系的方法
机译:计算机程序设计语言代词
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。