ON RECURSIVE AXIOMS IN DEDUCTIVE DATABASES

被引：14
|
作者：
MINKER, J [1 ]
NICOLAS, JM [1 ]
机构：
[1] CTR ETUD & RECH TOULOUSE,ONERA,TOULOUSE,FRANCE
来源：
INFORMATION SYSTEMS | 1983年 / 8卷 / 01期
关键词：
D O I：
10.1016/0306-4379(83)90024-8
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 13
页数：13
相关论文
共 50 条
12345