退出
我的积分:
中文文献批量获取
外文文献批量获取
张力锋;
南京大学现代逻辑与逻辑应用研究所;
上帝; 本体论证明; 可能世界理论; 伟大性;
机译:为纪念罗伯特·马瑟韦尔(Robert Motherwell)百年诞辰而写的论文:“临时形式”:介导浪漫主义和美国表现主义—罗伯特·马瑟韦尔(Robert Motherwell),亨利·伯格森(Henri Bergson)以及大约18001年抽象的本体论起源
机译:混合逻辑与经典逻辑对应的证明理论研究
机译:一阶证明逻辑的可能世界语义
机译:证明安提克瑟拉天文学装置中的内部行星的失速机构的最佳齿形设计
机译:在格洛里亚·安扎尔杜阿(GloriaAnzaldúa)中扎根的精神行动主义:一种新的心灵认识论,环境伦理学和行星公民的本体论
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式(算术证明理论)
机译:教会 - 罗瑟定理的证明及其在逻辑框架中的表现
机译:调整从汽车的挡风玻璃清洗器喷嘴发出的挡风玻璃清洗器流体射流的方向的方法,包括确定理论视角,并在理论值上重新调整视角的实际值
机译:代理系列音乐电影或娱乐性PC(菲尔斯特经典型)或Digi-Tasking移动循环设备,以实现最大的数字移动性或数字娱乐性PC或所有数字活动中心或卫星娱乐大亨或卫星娱乐型PC(菲尔斯特经典型)
机译:本安耦合电路-具有将一个或所有输入控制信号通过逻辑连接到控制外部机器的继电器的逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。