LOGIC OF COMPUTER ARITHMETIC

被引：0
|
作者：
LEVINE, L
机构：
来源：
AMERICAN MATHEMATICAL MONTHLY | 1965年 / 72卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：214 / +
页数：1
相关论文
共 50 条
  • [21] DENARY LOGIC ARITHMETIC PROCESSOR
    HO, HH
    TSUN, TO
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1984, 57 (03) : 307 - 331
  • [22] ON THE INTERPRETABILITY OF ARITHMETIC IN TEMPORAL LOGIC
    KROGER, F
    THEORETICAL COMPUTER SCIENCE, 1990, 73 (01) : 47 - 60
  • [23] BOUNDED ARITHMETIC IN FREE LOGIC
    Yamagata, Yoriyuki
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [24] Logic investigated and Fundamentals of arithmetic
    Kolman, Vojtech
    FILOSOFICKY CASOPIS, 2013, 61 (05): : 773 - 778
  • [25] Computer Arithmetic Algorithms
    Dass, Bal Kishan
    JOURNAL OF INTERDISCIPLINARY MATHEMATICS, 2006, 9 (01) : 227 - 227
  • [26] Neural Arithmetic Logic Units
    Trask, Andrew
    Hill, Felix
    Reed, Scott
    Rae, Jack
    Dyer, Chris
    Blunsom, Phil
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [27] Logic of proofs for bounded arithmetic
    Goris, Evan
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 191 - 201
  • [28] ARITHMETIC TOOLS FOR QUANTUM LOGIC
    DACEY, JC
    FOUNDATIONS OF PHYSICS, 1990, 20 (05) : 605 - 619
  • [29] THE INTERPRETABILITY LOGIC OF PEANO ARITHMETIC
    BERARDUCCI, A
    JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1059 - 1089
  • [30] Green Arithmetic Logic Unit
    Al Haddad, Mazen
    ElSayed, Zaghloul
    Bayoumi, Magdy
    2012 INTERNATIONAL CONFERENCE ON ENERGY AWARE COMPUTING, 2012,
12345