退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:统一量化模态逻辑
James W. Garson;
University of Houston;
机译:量化模态逻辑的统一完整性定理
机译:具有量化可及性关系的现有二阶逻辑和模态逻辑
机译:具有命题常数的模态逻辑族的统一语义
机译:隐式模态量化的命题模态逻辑
机译:模特量化和模态逻辑的比较
机译:锥束CT剂量测定法:包括所有扫描模态的统一且自洽的方法-带有或不带有幻像运动
机译:模态逻辑的产物。第2部分:经典逻辑中的相对论量词
机译:用于统一不同数据模型的统计模型的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。