退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:正式验证了基于Tableau的理发师,用于描述逻辑
M. J. Hidalgo-Doblado; J. A. Alonso-Jiménez; J. Borrego-Díaz; F. J. Martín-Mateos; J. L. Ruiz-Reina;
机译:经过正式验证的基于Tableau的描述逻辑推理器
机译:基于描述逻辑的服务编排验证的一种形式化方法
机译:基于Tableau的修订版,用于与个人进行表达性描述逻辑
机译:ACC描述逻辑的正式验证证明
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:使用描述逻辑分类来推理后果穿透伤
机译:为ALC描述逻辑构造经过正式验证的推理机
机译:通过扩充描述逻辑推理器进行推理(第1阶段)
机译:使用形式验证对门控逻辑进行自动验证的方法,系统和程序产品
机译:使用形式验证自动验证门控逻辑的方法,系统和程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。