作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
共享变量的识别与智能回溯算法
沈一栋,程代杰,童頫
ALGORITHMS FOR RECOGNITION OF SHARED VARIABLES AND INTELLIGENT BACKTRACKING OF PROLOG
. 1989, (04): 16 .