TRUTH TABLE CLASSIFICATION AND IDENTIFICATION

被引：3
|
作者：
RYPKA, EW
机构：
来源：
SPACE LIFE SCIENCES | 1971年 / 3卷 / 02期
关键词：
D O I：
10.1007/BF00927988
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页码：135 / +
页数：1
相关论文
共 50 条
  • [31] Hypersimplicity and semicomputability in the weak truth table degrees
    Barmpalias, G
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (08) : 1045 - 1065
  • [32] Truth table invariant cylindrical algebraic decomposition
    Bradford, Russell
    Davenport, James H.
    England, Matthew
    McCallum, Scott
    Wilson, David
    JOURNAL OF SYMBOLIC COMPUTATION, 2016, 76 : 1 - 35
  • [33] Hypersimplicity and semicomputability in the weak truth table degrees
    George Barmpalias
    Archive for Mathematical Logic, 2005, 44 : 1045 - 1065
  • [34] Strong Normalization for Truth Table Natural Deduction
    Geuvers, Herman
    van der Giessen, Iris
    Hurkens, Tonny
    FUNDAMENTA INFORMATICAE, 2019, 170 (1-3) : 139 - 176
  • [35] TRUTH-TABLE DEGREES AND BOONE GROUPS
    COLLINS, DJ
    ANNALS OF MATHEMATICS, 1971, 94 (03) : 392 - &
  • [36] Process and truth-table characterisations of randomness
    Day, Adam R.
    THEORETICAL COMPUTER SCIENCE, 2012, 452 : 47 - 55
  • [37] PLASTICS IDENTIFICATION TABLE
    不详
    KUNSTSTOFFE-PLASTICS, 1975, 22 (12): : 18 - 18
  • [38] Computable Fields and Weak Truth-Table Reducibility
    Steiner, Rebecca M.
    PROGRAMS, PROOFS, PROCESSES, 2010, 6158 : 394 - 405
  • [39] Optimization of Multiplexer Trees using Modified Truth Table
    Pistek, P.
    Kolesar, M.
    Jelemenska, K.
    2010 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS, 2010, : 265 - 268
  • [40] DENSITY OF A FINAL SEGMENT OF THE TRUTH-TABLE DEGREES
    MOHRHERR, J
    PACIFIC JOURNAL OF MATHEMATICS, 1984, 115 (02) : 409 - 419
12345