MACHINES, PROGRAMS AND LOGIC

被引：0
|
作者：
SAOUDI, A
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：342 / 342
页数：1
相关论文
共 50 条
  • [41] Transformations of logic programs
    Nigiyan, S.A.
    Khachoyan, L.O.
    Programmirovanie, (06): : 17 - 28
  • [42] Successes in logic programs
    Bossi, A
    Cocco, N
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 219 - 239
  • [43] Tight logic programs
    Erdem, E
    Lifschitz, V
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 (4-5) : 499 - 518
  • [44] NARRATIVE LOGIC, FOLKTALES AND MACHINES
    ROBERTSON, M
    ORBIS LITTERARUM, 1988, 43 (01) : 1 - 19
  • [45] Bridging logic and kernel machines
    Diligenti, Michelangelo
    Gori, Marco
    Maggini, Marco
    Rigutini, Leonardo
    MACHINE LEARNING, 2012, 86 (01) : 57 - 88
  • [46] A logic for Abstract State Machines
    Stärk, RF
    Nanchen, S
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11): : 980 - 1005
  • [47] ALGEBRA OF MACHINES AND TEMPORAL LOGIC
    MICHEL, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 287 - 298
  • [48] Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs
    Straccia, Umberto
    REASONING WEB, 2008, 5224 : 54 - 103
  • [49] Logic of Analog and Digital Machines
    Bradley, John
    LITERARY AND LINGUISTIC COMPUTING, 2012, 27 (04): : 467 - 470
  • [50] LOGIC COMPUTING MACHINES AND AUTOMATION
    FOOTE, PD
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1965, 279 (02): : 136 - &
12345