退出
我的积分:
中文文献批量获取
外文文献批量获取
刘冬宁; 汤庸;
中山人学数学系;
中山大学计算机科学系;
模态Lambek演算; 时态句型; 范畴语法;
机译:识别和存储句法和语义英语自然语言句型的一种有效技术
机译:乘法循环线性逻辑和Lambek演算的证明网
机译:对合非结合Lambek演算
机译:具有假设的模态非缔合Lambek演算:复杂性和上下文无关性
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:节律性和跨模态时态提示有助于检测
机译:Lambek演算与相关模态的不可判定性
机译:Lolli的模态事件演算
机译:Gartar演算演算演算演算演算
机译:用于移动环境的基于环境演算的模态逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。