退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:消除量词和并发性的空间逻辑不确定性
Caires Luís; Lozes Etienne;
机译:对于真正的并发过程代数的过程逻辑中可靠性的不可逃号
机译:消除并发空间逻辑中的量词和不确定性
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:过程代数的不可判定性和完备性结果与数据的替代量化;软件工程部
机译:用于从多个同时发生的空间运动中识别信息完成信号的空间信息输入设备和方法
机译:从多个同时发生的空间运动中识别信息完成信号的空间信息输入装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。