退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:高阶抽象语法的原始递归
Schürmann Carsten; Despeyroux Joëlle; Pfenning Frank;
机译:抽象中的原始递归
机译:接下来的700个挑战问题,涉及使用高阶抽象语法表示进行推理
机译:经典高阶逻辑中的高阶抽象语法
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:语言语法的抽象视觉任务匹配要求中的人工语法学习能力
机译:抽象语法树处理方法,计算机可读存储介质记录程序,计算机可读存储器中记录抽象语法树数据和抽象语法树处理
机译:在抽象语法格式和传输语法格式之间转换数据的方法和装置
机译:支持抽象语法和传递语法之间的转换的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。