科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
陶雪红; 孙伟;
不详;
人工智能; 知识加更新; 算法; 复杂性; 知识库;
机译:修订某些特殊命题知识库的快速算法
机译:一种实用的命题知识库修订算法
机译:关于命题知识库修订,更新和反事实的复杂性
机译:命题证明复杂性的算法应用。
机译:Pocal Fold Leukoplakia:白光和窄带成像的哪种分类最准确地预测喉癌转化?诊断算法的命题
机译:命题知识库修订,更新和反事实的复杂性
机译:命题逻辑问题算法的复杂性
机译:维护与知识库相关的命题的分组和关系的方法和装置
机译:信息选择和搜索系统,在该系统中,借助知识库可以找到信息,同时考虑到对参考知识库的修改,可以更新初始搜索要求
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。