REPRESENTING DOMAIN-STRUCTURE OF MANY-SORTED PROLOG KNOWLEDGE BASES

被引：0
|
作者：
GUARINO, N
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 306卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：168 / 183
页数：16
相关论文
共 4 条
  • [1] THE STRUCTURE OF MANY-SORTED ELEMENTARY LOGIC
    KAPHENGST, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (01): : 39 - 56
  • [2] EXTERNAL STRESS INFLUENCE ON DOMAIN-STRUCTURE OF MANY-AXIAL FERROMAGNET
    BUCHELNIKOV, VD
    GUREVICH, VA
    MONOSOV, YA
    SHAVROV, VG
    FIZIKA METALLOV I METALLOVEDENIE, 1978, 45 (06): : 1295 - 1298
  • [3] DOMAIN-STRUCTURE AND TRANSVERSE CONDUCTIVITY OF A MANY-VALLEY SEMICONDUCTOR IN MULTIVALUED SASAKI EFFECT
    GRIBNIKOV, ZS
    MITIN, VV
    PHYSICA STATUS SOLIDI B-BASIC RESEARCH, 1975, 68 (01): : 153 - 164
  • [4] INFLUENCE OF MANY-LAYER DOMAIN-STRUCTURE ON ELECTROMAGNETIC LOSSES OF FE-3-PERCENT SI ALLOY
    ZHAKOV, SV
    DRAGOSHANSKIY, YN
    SOKOLOV, BK
    GUBERNATOROV, VV
    VLADIMIROV, LR
    FIZIKA METALLOV I METALLOVEDENIE, 1987, 63 (03): : 502 - 511
1