描述逻辑 相关文章(2篇)
-
语义Web与推理系统的应用研究
发表于：5/11/2010 12:00:00 AM
-
一种为程序的安全性验证所设计的面向对象的自动转换方法
发表于：5/19/2009 3:34:26 PM
Copyright © 2005-2024 华北计算机系统工程研究所版权所有 京ICP备10017138号-2