退出
我的积分:
中文文献批量获取
外文文献批量获取
薛晨鸣;
中山大学中国语言文学系(珠海);
鲁迅; 迷信观; 迷信可存; 农人; 古民神思;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:从“同情者”到“同路人”——论鲁迅的翻译活动及其革命文艺观的演变
机译:鲁迅翻译观的转型
机译:C. S. PEIRCE的迷信逻辑。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:现实的社会学建构。命题“卖淫的管制是贩运妇女和儿童的原因”这一命题的真实状态的演变(1880-1948年),现实的社会学建构。 “卖淫规则是奴役妇女和儿童的原因”这一命题的真理地位的演变(1880-1948)
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:从命题逻辑证明可满足逻辑公式的加密手段
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。