二阶谓词在人工智能实验平台PIE中的实现
이계위사재인공지능실험평태PIE중적실현
Implementation of Second-order Predicate in Prolog Inference Engine
저자의 최근 논문