退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:带cut的PROLOG的延续语义
Bruin A. (Arie) de; Vink E.P. de;
机译:一种VDM方法,用于基于序言的连续性语义
机译:基于目标的基于约束的正确部分答案语义与剪切
机译:带切口的Prolog的操作和目标无关的指称语义
机译:使用延续语义指定Prolog Trace模型
机译:基于知识库的机器(人工智能,一阶查询,PROLOG,“剪切”运算符,第五代计算机)的高层次关系处理器上的递归和规则选择
机译:用于模拟结构过程异常的类似连续语义
机译:Prolog中定界的延续:WAM中的语义,使用和实现
机译:具有Cut的pROLOG的连续语义
机译:Prolog机器的切割目标加工方法
机译:连续切割薄膜材料的连续段的方法和装置。
机译:用于切割具有连续切口的片材的连续段的边缘的方法和设备。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。