科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有传言性描述逻辑的时间结合查询,具有传递职位
Franz Baader; Stefan Borgwardt; Marcel Lippmann;
机译:回应表达描述逻辑中的合取查询
机译:通过交替树自动机以表达性描述逻辑回答常规路径查询
机译:具有传递角色的表达描述逻辑中的时间合取查询
机译:表达描述逻辑的自动语义遗忘
机译:为什么要艰难? SNOMED的表达描述逻辑的情况
机译:表达描述逻辑中的联合查询应答的复杂性
机译:时态逻辑编程是完整和富有表现力的
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:用于执行时间逻辑查询的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。