集美大学学报（自然科学版）2008，Vol.13Issue(2)：122-126,5.
G(o)del程序推理过程的可视化
The Visualization of G(o)del Programs
摘要
关键词
Gdel语言/Prolog语言/可视化分类
信息技术与安全科学引用本文复制引用
王良霖,赵致琢,李玲..G(o)del程序推理过程的可视化[J].集美大学学报（自然科学版）,2008,13(2):122-126,5.基金项目
福建省自然科学基金资助项目(A0310007) （A0310007）
