退出
我的积分:
中文文献批量获取
外文文献批量获取
傅建安;
湖南师范大学,文学院,长沙,410081;
湖南城市学院,中文系,湖南,益阳413000;
"娜拉走后"; 女性解放; 当代演绎;
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:成员目标互赖、交互记忆会影响巴林特小组心理疏导效能吗?—理论演绎与命题推导
机译:命题逻辑的非单调Gentzen演绎系统
机译:基于命题逻辑的演绎推理与计算
机译:巴洛克凝视:在当代秘鲁的现代性和现代性的紊乱的生存=看起来巴洛克。巴洛克式的生存与当代秘鲁的现代性障碍。
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:在现代和当代辩证的形式和表达式方面的图和架构在现代和当代艺术中的形式和表达方面的现代和当代辩证法方面
机译:止汗剂对公路行走后足疱发病率的影响
机译:演绎推理系统,用于响应来自多个系统传感器的信号来解决复杂的命题逻辑问题
机译:tvsgm-当代西方巴勒莫单向线路上的现代渡轮公路和铁路交通的整体系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。