AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用约束逻辑程序实现同时应用的临床实践指南
Szymon Wilk; Martin Michalowski; Marisela Mainegra Hing; Wojtek Michalowski; Ken Farion;
机译:使用约束逻辑编程缓解成对的临床实践指南中的不良相互作用
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:使用约束逻辑编程协调同时应用的临床实践指南
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:在缓解同时应用的临床实践指南的过程中,使用约束逻辑编程来实现迭代动作和数值测量
机译:并发语义在逻辑程序设计中的应用
机译:提供临床实践指南的方法和计算机可读记录介质,在其上执行用于执行该方法的程序
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:特定于交易策略过程对象的观点的抽象逻辑系统,计算机的中间腿。分离特定逻辑观点的逻辑观点的方法,应用程序编程接口的通用集。在vdeecdeo中提供和从一组输入数据中进行选择,以及。该系统执行针对单个交易事件的特定于一个或多个不同上下文的上下文交易过程准则的处理
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。