退出
我的积分:
中文文献批量获取
外文文献批量获取
马莉萍;
法律推理; 价值判断; 三段论式; 我国司法制度; 法律逻辑; 法律解释; 司法判决; 逻辑形式; 法律适用; 法律原则;
机译:Logikey Workbench:语言,逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:生产合作社 - 具有有限的申请范围的商业和谐形式的社会和谐和谐形式
机译:关于在法律推理中结合自然语言处理和逻辑推理的解释生成方法的建议
机译:基于模糊逻辑界面系统的目标价值判断模型
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:爵士乐和谐波替换:走向新的形式主义 - 爵士乐和谐波换算:朝向新的形式主义
机译:包括价值判断和公共风险的形式分析
机译:法律推理和分析方法,法律推理和分析设备,法律推理和分析投票系统,法律推理程序,存储程序的存储介质以及法律制图方法
机译:法律推理演示文稿方法,法律推理介绍计划和法律推理介绍系统
机译:法律推理呈现方法,法律推理呈现系统及程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。