描述逻辑 相关文章(2篇)
-
语义Web与推理系统的应用研究
发表于:2010/5/11 上午12:00:00
-
一种为程序的安全性验证所设计的面向对象的自动转换方法
发表于:2009/5/19 下午3:34:26
