CHECKING OF COMPUTER LOGIC BY SIMULATION ON A COMPUTER

被引：5
|
作者：
LEHMAN, M
NETTER, Z
ESHED, R
机构：
来源：
COMPUTER JOURNAL | 1963年 / 6卷 / 02期
关键词：
D O I：
10.1093/comjnl/6.2.154
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：154 / &
相关论文
共 50 条
  • [21] LOGIC OF COMPUTER ARITHMETIC
    HAMMEL, D
    IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1965, EC14 (04): : 670 - &
  • [22] LOGIC IN COMPUTER SCIENCE
    Serna, Edgar M.
    REVISTA EDUCACION EN INGENIERIA, 2013, 8 (15): : 62 - 68
  • [23] LOGIC FOR THE COMPUTER SCIENCES
    KORFHAGE, RR
    COMMUNICATIONS OF THE ACM, 1964, 7 (04) : 216 - 218
  • [24] LOGIC OF COMPUTER ARITHMETIC
    LEVINE, L
    AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (02): : 214 - +
  • [25] COMPUTER LOGIC AND MEMORY
    EVANS, DC
    SCIENTIFIC AMERICAN, 1966, 215 (03) : 75 - &
  • [26] LOGIC AND COMPUTER LANGUAGES
    ALLAN, B
    WIRELESS WORLD, 1983, 89 (1564): : 37 - 39
  • [27] Deontic logic and computer-supported computer ethics
    Van den Hoven, J
    Lokhorst, GJ
    METAPHILOSOPHY, 2002, 33 (03) : 376 - 386
  • [28] CHECKING OUT COMPUTER-PROGRAMS
    PIXLEY, RA
    RIDLON, SA
    CIVIL ENGINEERING, 1984, 54 (10): : 56 - 59
  • [29] CHECKING THE GOLDBACH CONJECTURE ON A VECTOR COMPUTER
    GRANVILLE, A
    VANDELUNE, J
    RIELE, HJJT
    NUMBER THEORY AND APPLICATIONS, 1989, 265 : 423 - 433
  • [30] ONLINE COMPUTER GIVES FREE CHECKING
    不详
    INFOSYSTEMS, 1978, 25 (01): : 82 - 82
12345