PARACONSISTENT LOGIC PROGRAMMING

被引：140
|
作者：
BLAIR, HA
SUBRAHMANIAN, VS
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 68卷 / 02期
关键词：
D O I：
10.1016/0304-3975(89)90126-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：135 / 154
页数：20
相关论文
共 50 条
12345