退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于构造函数的可达性逻辑,用于重写理论
Stephen Skeirik; Andrei Stefanescu; José Meseguer;
机译:观察逻辑,基于构造函数的逻辑及其对偶
机译:比较重写逻辑:重写逻辑,动作计算和切片逻辑
机译:符号可达性分析,用于重写理论。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:基于构造函数的可重构逻辑重写理论
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部
机译:该专利是一种速度理论,人类认为它比光速快,并且到达了光可以到达的位置,而光无法到达
机译:达到实用价值的理论并由官能团取代了α聚合物的实用多分散巴氏体的制备方法,其中自由基是从聚合反应中获得的。
机译:可编程逻辑元件和用于可编程逻辑元件的数据重写系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。