On parallelism of hyper-linking theorem proving: A preliminary report

被引：0

作者：

Wu, CH ^{[1
]}

Lee, SJ ^{[1
]}

机构：

[1] NATL SUN YAT SEN UNIV,DEPT ELECT ENGN,KAOHSIUNG,TAIWAN

来源：

1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS | 1996年

关键词：

AI; theorem proving; hyper-linking; distributed AI; parallel architectures;

D O I：

10.1109/ICPADS.1996.517599

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：494 / 499

页数：6