退出
我的积分:
中文文献批量获取
外文文献批量获取
金立鑫; 陆丙甫;
上海外国语大学语言文学研究院,上海,200083;
南昌大学人文学院,江西,南昌,330047;
语法描写; 逻辑; 蕴含关系;
机译:通过逻辑编程规范形式语法中的推理过程
机译:通过一阶逻辑与逆语法确定正则语法逻辑
机译:谈谈谷口洋四郎的描写中的“看不见的形式”
机译:人工语法学习中的语法体系结构:语素学习得形式和学习任务性质方面的形式偏见。
机译:人脑中的数学逻辑:语法
机译:Gichuka中引用表达式的语法和语用:在为句子分配意义时对生成语法的逻辑形式的挑战
机译:形式语法作为逻辑推导的模型。
机译:从语法树计算语义逻辑形式的方法和系统
机译:计算语法的逻辑形式的程序和系统
机译:计算语法树形逻辑形式的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。