退出
我的积分:
中文文献批量获取
外文文献批量获取
陈荣; 孙吉贵; 姜云飞;
中国计算机学会;
中国人工智能学会;
非单调性; 证明论; proflog; 逻辑程序设计语言; 语义表演推;
机译:自动霓虹语言语言语言语言用餐表10年的21世纪
机译:对“蛋氨酸的受限制类似物:通过[3.1.0]-#gamma#-内酯环丙烷开环的x角受限的蛋氨酸衍生物的不对称合成”勘误表”
机译:第一人称研究表:“从人工生命研究中看到的语言语言的意义”上部
机译:自主机器人的过程语义-以位置空间语言为例
机译:公立学校的语言服务:IDEA资格标准中的歧义性如何在诉讼和资源受限的环境中影响语言病理学家。
机译:受控词汇表索引编制和医学语言处理。医学语言处理:自然语言超声心动图报告的数据库捕获:统一医学语言系统方法
机译:正则表达式过程语义的结构受限的过程图
机译:表生成语言系统安装说明,版本3.5。用户指南和操作指南,包括打印控制语言和代码本语言,
机译:音符演奏管风琴,具有计算单元,该计算单元通过由风琴师预先建立的表达表推演声音音色块,从而从音色块接收与键盘的键有关的输入信息,从而使音色块与所执行的乐曲的键相关联
机译:由重要性单元区分的外国语言单词和使用该语言的外国语言单词学习表
机译:多语言知识数据库搜索方法,其中创建了多语言专家词汇表,以便可以将搜索请求翻译成其他语言,并且可以对所有文档进行一次搜索
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。