退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:2000,‘描述逻辑的Tableau算法
Franz Baader; Ulrike Sattler;
机译:Tableau描述逻辑的算法概述
机译:不一致的描述逻辑。第二部分:CALC〜C的表格算法
机译:具有具体域和通用TBox的描述逻辑的Tableau算法
机译:基于完成的饱和过程的表达性描述逻辑的耦合Tableau算法
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:1980年代至2000年代西班牙中部地区社会经济野火驾驶员的多时间建模:将广义线性模型与机器学习算法进行比较
机译:Tableau描述逻辑的算法
机译:-2000 8 9 IMT-2000系统的机密性算法F8和完整性算法F9的密码系统
机译:用于生成逻辑集成电路的硬件操作描述的逻辑集成电路,逻辑集成电路设计方法和硬件描述生成方法
机译:IMT-2000系统的机密性算法F8和完整性算法F9的密码系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。