退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时空逻辑的结合:表现力与复杂度
Gabelaia D.; Kontchakov R.; Kurucz A.; Wolter F.; Zakharyaschev M.;
机译:时间间隔与点时间逻辑模型检查:可表达性比较
机译:具有有限多个变量的分支时间和交替时间时间逻辑的复杂性和可表达性
机译:通过人工神经网络为时空救护车需求开发准确的预测模型:现有预测技术与人工神经网络的比较研究。
机译:动作视频游戏经验与改变休息状态EEG时空和空间复杂性相关
机译:结合时空逻辑:表现力与复杂性
机译:实时逻辑:复杂性和表现力
机译:高空间和时间复杂度视频编码的主观视觉质量增强
机译:基于时间和空间复杂度的编码模式确定方法及装置
机译:利用时间和空间复杂度确定编码模式的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。