作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
逻辑程序的实现策略(二)
霍义兴,滕尚华
THE STRATEGIES IMPLEMENTING LOGICAL PROGRAMS(2)
Huo Yixing, Teng Shaughua
. 1986, (05): 65 -71 .