退出
我的积分:
中文文献批量获取
外文文献批量获取
陈莉莉;
华侨大学数学科学学院;
一阶逻辑; 命题符号化; 个体域;
机译:沟通有限状态机,一阶逻辑和无星际命题动态逻辑
机译:VoLTE用高音质音声符号化技术の动向: 低遅延音声音响统合符号化3GPP EVS
机译:通过重复符号化和去符号化来改变含义
机译:具有车辆互联网的重新思考智能交通系统:作为服务模式的感应命题
机译:詹姆斯·乔伊斯(James Joyce)的《尤利西斯》(Ulysses)的变种符号学系统:交互符号化,指示性和符号化的指称水平及其结构。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:从机器学习和数据挖掘的命题逻辑到一阶逻辑-使用ICL推导一阶规则
机译:基于平铺的系统快速显示符号化数字航海图数据
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
机译:使用可符号化能力使用户能够通过可符号化记忆单词的一部分的语言来学习外国语言的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。