MACHINES, PROGRAMS AND LOGIC

被引：0
|
作者：
SAOUDI, A
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：342 / 342
页数：1
相关论文
共 50 条
  • [31] Verification of logic programs
    Pedreschi, D
    Ruggieri, S
    JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 125 - 176
  • [32] On computing logic programs
    Max-Planck-Inst fuer Informatik, Saarbruecken, Germany
    J Autom Reasoning, 3 (259-289):
  • [33] On computability by logic programs
    Voronkov, A
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (3-4) : 437 - 456
  • [34] EXPANDING LOGIC PROGRAMS
    WITTEVEEN, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 373 - 390
  • [35] CANONICAL LOGIC PROGRAMS
    JAFFAR, J
    STUCKEY, PJ
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 143 - 155
  • [36] On computing logic programs
    Dimopoulos, Y
    JOURNAL OF AUTOMATED REASONING, 1996, 17 (03) : 259 - 289
  • [37] Labeled logic programs
    Barker, S
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 448 - 449
  • [38] Transformations of logic programs
    Nigiyan, S.A.
    Khachoyan, L.O.
    Programmirovanie, (06): : 17 - 28
  • [39] MEMOING FOR LOGIC PROGRAMS
    WARREN, DS
    COMMUNICATIONS OF THE ACM, 1992, 35 (03) : 93 - 111
  • [40] LOGIC, PROBLEMS AND PROGRAMS
    GARCIANORIEGA, B
    ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1987, 126 (496) : 105 - 124
12345