法律状态公告日
法律状态信息
法律状态
2019-05-14
授权
授权
2016-12-14
实质审查的生效 IPC(主分类):G06F9/45 申请日:20160622
实质审查的生效
2016-12-14
实质审查的生效 IPC(主分类):G06F 9/45 申请日:20160622
实质审查的生效
2016-11-16
公开
公开
2016-11-16
公开
公开
机译: 迈向友好机器:一种基于布尔代数的基于上下文的道德实现方法
机译: 一种使用约束演算分析来验证系统行为的逻辑,算术和时序依赖性的系统和方法
机译: 基于状态信息进行演算的U城市系统及其操作方法