作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
逻辑程序的实现策略(一)
霍义兴,滕尚华
THE STRATEGIES IMPLEMENTING LOGICAL PROGRAMS (1)
Huo Yixing, Teng Shanghua
. 1986, (04): 56 -66 .