退出
我的积分:
中文文献批量获取
外文文献批量获取
吴立军; 苏开乐;
中山大学;
计算机科学与技术系;
广东;
广州;
510275;
河南科技大学;
电子信息工程学院;
河南;
洛阳;
471003;
符号模型检测; 多智体系统; 协议验证; SMV; TMN密码协议;
机译:比较一些密切相关的元智类生物群并描述新物种元智类新规范。 (刺cut科,Scuticociliatida)
机译:具有线性时间时态逻辑规范的离散事件系统的重复故障诊断
机译:实时系统规范的时态逻辑
机译:初步介导的人工超高智望研究,实验框架和独立核心观察者模型认知建筑系统的定义
机译:改善认知学生成就的电子教学系统模型=用于提高学生认知成就的电子学习系统模型
机译:中药金智大方对糖尿病相关性认知功能减退模型大鼠海马的影响
机译:时态数据,时态数据模型,时态数据语言和时态数据库系统。
机译:时态数据,时态数据模型,时态数据语言和时态数据库系统
机译:泡腾促智片。粉末状认知增强泡腾片补充剂,包括各种促智化合物,包括但不包括
机译:将时态数据和时态数据模型的使用应用于角色和组织结构
机译:用于无线通信系统的认知模型以及基于认知模型数据来最佳利用无线电信道的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。