退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:SDL-2000:具有正式语义的语言
Joachim Fischer; Eckhardt Holz; Martin v. Löwis; Andreas Prinz;
机译:SDL-2000的形式语义:现状和观点
机译:启用了语义Web的多代理系统的领域特定建模语言的形式语义
机译:面向对象语言中的复制语义动态超载:一个正式帐户
机译:关于SDL-2000的正式语义:基于抽象SDL机器的编译方法
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:双语能力对自由召回输出中的召回准确性和语义聚类的影响:跨语言共享语义关联的证据
机译:使用面向对象语言中的复制语义进行动态重载:正式帐户?
机译:通过交互并将非正规源语言自动形式化为正规源语言,将机器翻译成目标语言
机译:正式语言的方法,正式语言代码的修改
机译:自然语言文本的计算机化语义索引方法,自然语言文本的计算机化语义索引方法以及机器可读媒体
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。