退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于描述逻辑中术语推理的高性能吸收算法
Zuo, Ming;
Concordia University (Canada);
机译:无限值Godel语义下非常有表现力的描述逻辑中的推理算法
机译:在可能性逻辑中用不确定性推理扩展描述逻辑
机译:归纳和术语推理中逻辑和概率的整合
机译:描述逻辑术语的动态推理
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:使用抽象网络在补充描述生物医学术语中质量保证的描述逻辑 - 以Snomed CT为例
机译:Abox可满足性降低到表达描述逻辑中的术语推理
机译:描述使用语法更新的逻辑推理
机译:利用描述逻辑推理进行自动诊断的方法,系统和计算机程序
机译:具有描述逻辑推理的自动诊断方法,系统和计算机程序
机译:总线性能评估算法描述方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。