一种分布式动态描述逻辑.pdfVIP

计算机研究与发展 !# $%%%$’()!*# $$$+++!,- （）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A() $B%($B%C ’%%B 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 一种分布式动态描述逻辑 ， $’ ( $ ’ 蒋运承 史忠植 汤 庸 王 驹 $ （中山大学计算机科学系 广州 ） D$%’+D ’ （广西师范大学计算机科学与信息工程学院 桂林 ） DA$%%A ( （中国科学院计算技术研究所 北京