G(o)del语言的一种并行推理模型

李玲赵致琢李松斌王良霖夏金存

集美大学学报（自然科学版）2008，Vol.13Issue(2)：117-121,5.

A Parallel Reasoning Model for G(o)del

李玲 ¹赵致琢 ¹李松斌 ¹王良霖 ¹夏金存¹

作者信息

Gdel语言/中间代码/AND并行/OR并行

信息技术与安全科学

李玲,赵致琢,李松斌,王良霖,夏金存..G(o)del语言的一种并行推理模型[J].集美大学学报（自然科学版）,2008,13(2):117-121,5.

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

ISSN：1007-7405

访问量0

下载量0

段落导航