学术工具
退出
我的积分:
中文文献批量获取
外文文献批量获取
聂文龙; 鞠实儿;
中国计算机学会;
中国人工智能学会;
范畴; Lambek演算; 模糊范畴; LC; FLC*;
机译:乘法循环线性逻辑和Lambek演算的证明网
机译:对合非结合Lambek演算
机译:Cramb的技巧和Lambek演算及其片段的非顺序系统
机译:分布完全非缔合Lambek演算中的迭代除法
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:使用中点表示的模糊值函数演算的新结果
机译:具有次指数和括号的Lambek演算的不可判定性 模式
机译:Lambek语法:基于信息的分类语法
机译:Gartar演算演算演算演算演算
机译:基于直觉模糊关系演算的低级视频细节跟踪
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。