退出
我的积分:
中文文献批量获取
外文文献批量获取
周磊;
徐州建筑职业技术学院人文与社会科学系 江苏徐州221008;
自然状态; 社会契约; 霍布斯; 洛克;
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:类型作为古典自然演绎的资源
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:将自然语言的自然演绎系统的片段转化为现代类型理论
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:逻辑熵:古典和量子逻辑信息理论简介
机译:具有完整逻辑符号的一阶古典自然演绎的归一化过程
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:用于车辆中的脊柱前凸调节装置的控制系统包括:显示器,用于显示脊柱前凸调节装置的理论状态;以及操作单元,用于独立于调节单元而改变理论状态
机译:计算通过穿过眼睛的瞳孔的光束切割的眼睛的人工或自然部分的至少一个表面的理论形式的程序,以及用于制造人工晶体的装置的理论形式。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。