退出
我的积分:
中文文献批量获取
外文文献批量获取
赵丽萍;
中山大学哲学系;
97研究生;
lekton 蕴涵;
机译:Tableaux用于将命题动态逻辑和认知逻辑与相互作用相结合
机译:论论证逻辑与命题逻辑
机译:命题投影时态逻辑与星的表达
机译:带有公理□_Φ↔◇_Φ的命题模态逻辑与命题逻辑之间的对应关系
机译:亚伯拉罕,信心之父:创世记15:6从创世记到保罗(加拉太书,罗马书)的解释。
机译:催眠术的学派和学说
机译:史学家学说中的斯多葛逻辑与逻辑意义
机译:空军战术学派对战略学说发展的影响
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
机译:用于支持军事领导过程的命令和武器控制系统,具有学说管理模块,可激活一个学说模块的动作列表,从而处理动作列表中的控制顺序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。