退出
我的积分:
中文文献批量获取
外文文献批量获取
姚从军;
湖南科技学院思政部,湖南永州425100;
模拟; 双模拟; 模态逻辑; 正存在模态公式; 双模拟不变性;
机译:混合双模态逻辑中的Sahlqvist公式
机译:超模态逻辑理论:模态逻辑中的模式转换
机译:作为模态逻辑的模态逻辑
机译:基于拟南模态逻辑的模拟与分布
机译:页岩气储层数值模拟与模式识别的耦合模拟与二氧化碳注入评价
机译:复杂胫骨平台骨折的伤害模式模拟与涉及三维计算断层扫描后高原的裂缝映射
机译:用于代数模态逻辑的模拟和双模拟
机译:参数化Endofunctors的余代数和模态逻辑。软件工程(sEN)。
机译:钢筋膨胀模拟与荷载试验装置及钢筋膨胀模拟与荷载试验方法
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于移动环境的基于环境演算的模态逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。