MACHINES, PROGRAMS AND LOGIC

被引：0
|
作者：
SAOUDI, A
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：342 / 342
页数：1
相关论文
共 50 条
  • [21] Steadfast logic programs
    Lau, KK
    Ornaghi, M
    Tärnlund, SÅ
    JOURNAL OF LOGIC PROGRAMMING, 1999, 38 (03): : 259 - 294
  • [22] Transformations of logic programs
    Nigiyan, SA
    Khachoyan, LO
    PROGRAMMING AND COMPUTER SOFTWARE, 1997, 23 (06) : 302 - 309
  • [23] Paraconsistent logic programs
    Alcântara, J
    Damásio, CV
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
  • [24] LEGISLATION AS LOGIC PROGRAMS
    KOWALSKI, RA
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 203 - 230
  • [25] Updates of logic programs
    Sefranek, Ján
    COMPUTING AND INFORMATICS, 2007, 26 (03) : 225 - 238
  • [26] Super logic programs
    Brass, S
    Dix, J
    Przymusinski, TC
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 529 - 540
  • [27] Minimal logic programs
    Cabalar, Pedro
    Pearce, David
    Valverde, Agustin
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 104 - +
  • [28] Refactoring logic programs
    Serebrenik, A
    Demoen, B
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 509 - 510
  • [29] EQUIVALENCES OF LOGIC PROGRAMS
    MAHER, MJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 410 - 424
  • [30] Deducing logic programs
    Wong, Ka-Shu
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 471 - 472
12345