退出
我的积分:
中文文献批量获取
外文文献批量获取
赵晓非; 黄志球;
南京航空航天大学计算机科学与工程系;
南京;
210016;
公共仓库元模型(CWM); 描述逻辑; 元数据集成; 元数据演化; 水平一致性; 演化一致性;
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:基于计算代数几何的形式化推理验证基于Galois场的电路
机译:在基于知识的系统中为基于论证的推理形式化辩证解释支持
机译:基于CWM的元数据集成形式化推理研究。
机译:基于可能性的推理方法测试效果规模尺寸措施,具有双边结果的分层相关二元数据
机译:协议和危害法规中的安全推理形式化。
机译:基于CWM的商业银行元数据仓库的研究与实现
机译:用形式化方法推理建筑标准。
机译:基于视频分析,基于元数据的事件检测和取证搜索的推理引擎
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。