Combinatory logic.

被引：0
作者：
Decock, L
机构：
来源：
TIJDSCHRIFT VOOR FILOSOFIE | 1998年 / 60卷 / 01期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：206 / 207
页数：2
相关论文
共 50 条
  • [21] PARTITIONING OF PLA LOGIC.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (06): : 2332 - 2333
  • [22] DESIGN WITH LOCKOUT LOGIC.
    Hershfield, Walton N.
    Electronic Design, 1974, 22 (15) : 86 - 89
  • [23] DISCRIMINATORS IN COMBINATORY LOGIC
    LONGO, G
    VENTURINIZILLI, M
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 458 - 459
  • [24] COMBINATORY LOGIC AND ALGORITHMS
    NOLIN, L
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (22): : 1435 - &
  • [25] COMBINATORY LOGIC AND ALGORITHMS
    NOLIN, L
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (23): : 1485 - &
  • [26] FRACTION DETECTION LOGIC.
    Kerchmar, K.
    IBM Technical Disclosure Bulletin, 1972, 15 (05):
  • [27] Logic. The 1896 lectures
    Lapointe, S
    DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 2003, 42 (02) : 394 - 397
  • [28] On Reversible Combinatory Logic
    Di Pierro, Alessandra
    Hankin, Chris
    Wiklicky, Herbert
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 135 (03) : 25 - 35
  • [29] Combinatory Logic Synthesizer
    Bessai, Jan
    Dudenhefner, Andrej
    Duedder, Boris
    Martens, Moritz
    Rehof, Jakob
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 26 - 40
  • [30] COMPLEMENTARY DIODE LOGIC.
    Anon
    IBM technical disclosure bulletin, 1986, 29 (01): : 315 - 317
12345