退出
我的积分:
中文文献批量获取
外文文献批量获取
郭昊;
华东理工大学法学院;
上海200237;
法律关系归约模式; 法律人工智能; 法计算学; 语义分析; 计算法学;
机译:通过归约公理实现公共更新逻辑的表现力和完整性
机译:逻辑,法律和人工智能中的论证图表
机译:使用无进位乘法器和快速归约算法有效实现Galois计数器模式
机译:法律核心本体中法律关系表示的模式
机译:实现合法性:土著人民与加拿大国家之间的法律关系。
机译:主治医生与手术室医院工作人员的法律法律关系
机译:组合逻辑单元构成的序列逻辑信号流模型及其在prolog中的实现
机译:用于在实现设计模式的软件代码中检测抄袭的方法,包括检测在软件代码中实现的设计模式并创建实现与至少一个与实现设计模式的功能相关的程序逻辑的表示形式
机译:使用半导体芯片上的毛刺来实现矢量逻辑归约运算
机译:在半导体芯片矢量逻辑归约运算上实现
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。