退出
我的积分:
中文文献批量获取
外文文献批量获取
菲利普·里斯; 陈宇超;
英国米尔顿凯恩斯公开大学数学系;
华东政法大学;
机译:Logikey Workbench:语言,逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:关于在法律推理中结合自然语言处理和逻辑推理的解释生成方法的建议
机译:法律推理中的逻辑编程和证明负担
机译:实施时间不合理逻辑以建立法律推理模型
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:用于研究急性建筑过程中情感因素的逻辑形式模型/用于研究交谈过程中情感因素的逻辑形态模型协定
机译:开放逻辑编程环境。分享形式模型的实用框架
机译:法律推理和分析方法,法律推理和分析设备,法律推理和分析投票系统,法律推理程序,存储程序的存储介质以及法律制图方法
机译:法律推理演示文稿方法,法律推理介绍计划和法律推理介绍系统
机译:法律推理呈现方法,法律推理呈现系统及程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。