退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:决议逻辑,GENTZEN系统和文字树。
DOUGHERTY, DANIEL JOSEPH, JR.;
University of Maryland, College Park.;
机译:用于L_3值的命题逻辑的单调和非单调绅士扣除系统
机译:命题逻辑的非单调Gentzen演绎系统
机译:格子模态命题逻辑:绅士扣除系统G(L)的分配和模块化
机译:格值命题逻辑L_nP(X)的广义文献的α分解。
机译:代数结构与命题逻辑之间的联系。
机译:文字和隐喻概念的具体化辅导系统
机译:典型命题根岑型系统
机译:改善高分辨率树木换能器系统的位置
机译:生成简化域名服务器分辨率树的系统和方法
机译:通过视觉树对象生成与分辨率无关的输出的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。