FROM THE LAWS OF THOUGHT TO COMPUTER LOGIC - BOOLE,GEORGE

被引：0
|
作者：
SANGALLI, A
机构：
来源：
NEW SCIENTIST | 1989年 / 123卷 / 1678期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：48 / 52
页数：5
相关论文
共 50 条
  • [21] New light on George Boole
    Hitchcock, Gavin
    BRITISH JOURNAL FOR THE HISTORY OF MATHEMATICS, 2021, 36 (01) : 51 - 53
  • [22] Eigenlogic in the Spirit of George Boole
    Zeno Toffano
    Logica Universalis, 2020, 14 : 175 - 207
  • [23] New light on George Boole
    Crilly, Tony
    MATHEMATICAL GAZETTE, 2021, 105 (562): : 181 - 184
  • [24] New Light on George Boole
    Waszek, David
    HISTORIA MATHEMATICA, 2020, 51 : 91 - 93
  • [25] New Light on George Boole
    Scanlan, M.
    HISTORY AND PHILOSOPHY OF LOGIC, 2019, 40 (03) : 298 - 298
  • [26] Projection, Consistency, and George Boole
    Hooker, J. N.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, 2015, 9255 : 724 - 724
  • [27] New Light on George Boole
    Gray, Jeremy
    JOURNAL OF BRITISH STUDIES, 2019, 58 (04) : 863 - 864
  • [28] George Boole, a forerunner of symbolic computation
    Laita, LM
    de Ledesma, L
    Roanes-Lozano, E
    Brunori, A
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, 2001, 1930 : 1 - 19
  • [29] George Boole's Deductive System
    Brown, Frank Markham
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2009, 50 (03) : 303 - 330
  • [30] William Rowan Hamilton and George Boole
    Simmons, Charlotte
    BSHM BULLETIN-JOURNAL OF THE BRITISH SOCIETY FOR THE HISTORY OF MATHEMATICS, 2008, 23 (02): : 96 - 102
12345