退出
我的积分:
中文文献批量获取
外文文献批量获取
霍书全;
安徽大学哲学系;
普莱尔; 混合时态逻辑; 模态逻辑; 蒯因;
机译:更多表达性时态逻辑编程语言的逻辑基础
机译:在Event-B优化中使用线性时态逻辑的基础
机译:动态时态逻辑和时态逻辑之间的桥梁
机译:不可言喻和自我反驳:伪狄奥尼修斯,塞克图斯·埃普里里库斯和阿斯塔萨哈斯里卡·帕拉纳帕拉米塔思想中的非单调逻辑。
机译:西西里·珍珠·布莱尔(妮·霍普顿)
机译:更具表现力的声明性时态逻辑编程语言的逻辑基础
机译:不使用时态逻辑验证时态属性
机译:具有思想轮逻辑结构的数据对象生成/控制设备,该思想轮逻辑结构用于从起源自动形成朝向外轮的轮廓及其方法
机译:带有可移动的斯卡特梅瓷皮带的高速斯莱普莱尔
机译:普莱尔
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。