退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一元二阶逻辑和属性语法定义的树转换的比较
Bloem Roderick; Engelfriet Joost;
机译:单子二阶逻辑和属性文法定义的树转导比较
机译:树邻接文法和一元线性无上下文树文法的等价性
机译:宏树换能器,属性语法和MSO可定义的树转换
机译:描述逻辑中的近似:加权树自动机如何帮助定义FL_0中所需的概念比较量度
机译:单子直觉和模态逻辑承认可证明性
机译:第二语言习得中的多重语法和可学习性逻辑
机译:一元二阶逻辑和属性语法定义的树转换比较
机译:单通道,一个归属语法的逻辑
机译:基于属性语法和属性链接的文档转换方法及装置
机译:基于属性语法和属性耦合的文档转换方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。