退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:查看基于时间逻辑使用情况统计信息的逻辑设计辅助系统
Nakamura Hiroshi;
東京大学;
机译:奈良市的“城市”和“农村地区”的小区域统计:使用“地图统计(统计GIS)”试用服务
机译:在网络物理系统的基于模型的设计中挖掘参数时态逻辑属性
机译:利用统计信息估计交通变化的研究
机译:基于时序逻辑和预测控制的龙门双臂机器人运动计划系统设计
机译:免剪裁的Gentzen风格的系统,用于S4和中间逻辑的某些常规扩展
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于逻辑的方法来指定和设计复杂系统的时空行为
机译:使用齿轮空转的塞子
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法以及三值逻辑系统逻辑电路设计程序
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。