退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:受保护的存在规则和描述逻辑的稳定模型语义
Gottlob G; Hernich A; Kupke C; Lukasiewicz T;
机译:语义在规则的描述逻辑中从知识库中挖掘频繁模式的作用
机译:将OWL和语义Web规则转换为序言:转向描述逻辑程序
机译:基于描述逻辑的Web服务匹配的语义模型
机译:保护存在规则和描述逻辑的稳定模型语义
机译:火灾:具有类似SWRL规则的OWL本体的基于描述逻辑的规则引擎
机译:通过表驱动的方法实现SNOMED-CT属性的描述逻辑规则
机译:用稳定模型语义实现逻辑程序的局部接地
机译:从行为描述创建和验证电子设计的结构逻辑模型的方法和系统,包括逻辑和时序模型的生成
机译:使用元模型语义寄存器(规则)的对象建模工具用于对象属性的元数据管理器用于通过对象的对象/属性界面接收到的对象/属性实例的对象/属性界面
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。