退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论模型 - 理论关系的模态逻辑
Denis I. Saveliev; Ilya B. Shapirovsky;
机译:模态相关逻辑的模型理论和计算性质
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:使用描述逻辑评估NDF-RT中药物类别成员关系的一致性
机译:模态依赖逻辑:公理化和模型理论性质
机译:利用多态表达与语音和手势及时联系的识别方法
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于移动环境的基于环境演算的模态逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。