%0 Journal Article
%T 基于atms的知识库维护系统与开放逻辑的实现
%A 方思行 凌卫新？
%J 计算机科学
%D 1995
%K 正确性维护系统知识库维护系统开放逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1798731&flag=1