退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:标记为非正常模态逻辑的Tableeaux
Guido Governatori; Alessandro Luppi;
机译:终止具有全局模式和角色层次的渐变混合逻辑的Tableaux
机译:地面和自由变量Tableaux用于量化模态逻辑的变体
机译:命题模态逻辑的自由变量表
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:无标签和无酶平台具有可见输出可使用笼状G四联体作为信号转换器构建多功能逻辑门
机译:带标签的Tableaux用于非标准模态逻辑
机译:Spurgef u00fchrten运输系统中fahrstrassen的标签的逻辑,用于传输与fahrstrassen相关的数据的逻辑和用于
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于移动环境的基于环境演算的模态逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。