CAD REVISION PACKS LOGIC TIGHTLY ON CHIPS

被引:0
|
作者
SMITH, K
机构
来源
ELECTRONICS-US | 1981年 / 54卷 / 25期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:82 / +
页数:1
相关论文
共 50 条
  • [31] IMPROVED LINEAR PROCESSING PACKS A-D CONVERTER ONTO 2 IC CHIPS
    GRANDBOIS, G
    ELECTRONICS-US, 1974, 47 (13): : 93 - 101
  • [32] A simple modal logic for belief revision
    Bonanno, G
    SYNTHESE, 2005, 147 (02) : 193 - 228
  • [33] Interrogative Belief Revision in Modal Logic
    Sebastian Enqvist
    Journal of Philosophical Logic, 2009, 38 : 527 - 548
  • [34] BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE
    Mares, Edwin
    REVIEW OF SYMBOLIC LOGIC, 2014, 7 (04): : 647 - 670
  • [35] Prolegomena to dynamic logic for belief revision
    Van Ditmarsch, HP
    SYNTHESE, 2005, 147 (02) : 229 - 275
  • [36] Prolegomena to Dynamic Logic for Belief Revision
    Hans P. Van Ditmarsch
    Synthese, 2005, 147 : 229 - 275
  • [37] Coherence approach to logic program revision
    Yuan, LY
    You, JH
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1998, 10 (01) : 108 - 119
  • [38] A Simple Modal Logic for Belief Revision
    Giacomo Bonanno
    Synthese, 2005, 147 : 193 - 228
  • [39] Revision and updating in Dynamic Doxastic Logic
    Wille, U
    FIFTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - PROCEEDINGS: TIME-98, 1998, : 185 - 189
  • [40] A conditional logic for iterated belief revision
    Giordano, L
    Gliozzi, V
    Olivetti, N
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 28 - 32