退出
我的积分:
中文文献批量获取
外文文献批量获取
陈志远; 黄少滨; 韩丽丽;
哈尔滨工程大学计算机科学与技术学院;
中航工业集团空气动力研究院;
模态逻辑; 可能世界; 多Agent系统; 模型检测; 量子力学;
机译:Nicholas Rescher,悖论:其根源,范围和分辨率; Patrick Blackburn,Maarten de Rijke和Yde Venema,模态逻辑,《理论计算机科学》剑桥卷。 53
机译:现代计算机科学与信息技术教学中的实施
机译:应用科学大学计算机科学教育中的教学论:现代教学方法的个人回顾
机译:基于遗传算法的现代金融改革在现代金融改革中的应用研究
机译:后现代世界中的教学:文学理论在高中英语教学中的应用研究。
机译:妇女在计算生物学中的代表性不足:生物学,计算机科学和计算生物学方面的学术文献分析
机译:香农标准形式在多模态逻辑中的自然扩展(计算机科学基础理论的新发展)
机译:计算与图论在计算机科学中的应用研究
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于建筑物中的电梯系统的现代化的方法,包括通过操作部控制电梯轿厢的行进以在电梯井中实现现代化,并安装新的控制装置,从而去除临时控制装置
机译:管道换热器中的管道系列现代化的隔板环,管道换热器中的管道系列及其现代化程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。