| 注册
首页|期刊导航|集美大学学报(自然科学版)|G(o)del程序推理过程的可视化

G(o)del程序推理过程的可视化

王良霖 赵致琢 李玲

集美大学学报(自然科学版)2008,Vol.13Issue(2):122-126,5.
集美大学学报(自然科学版)2008,Vol.13Issue(2):122-126,5.

G(o)del程序推理过程的可视化

The Visualization of G(o)del Programs

王良霖 1赵致琢 1李玲1

作者信息

  • 1. 厦门大学计算机科学系,福建,厦门,361005
  • 折叠

摘要

关键词

Gdel语言/Prolog语言/可视化

分类

信息技术与安全科学

引用本文复制引用

王良霖,赵致琢,李玲..G(o)del程序推理过程的可视化[J].集美大学学报(自然科学版),2008,13(2):122-126,5.

基金项目

福建省自然科学基金资助项目(A0310007) (A0310007)

集美大学学报(自然科学版)

1007-7405

访问量3
|
下载量0
段落导航相关论文