AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:强大的规范系统和规范合规逻辑
Thomas Ågotnes; Wiebe Van Der Hoek; Michael Wooldridge;
机译:健全的规范体系和规范合规逻辑
机译:当没有人注视时,规范性期望的合法性促使他们遵守社会规范
机译:规范多主体系统的非功能规范规范和验证方法
机译:在开放式规范多主体系统中采用规范的信任评估
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:当没有人注视时规范性期望的合法性促使他们遵守社会规范
机译:验证用于分配燃料的车辆中的气瓶规范符合性的系统和方法
机译:符合严格要求的输墨系统
机译:坚固耐用的输墨系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。