Specifying standard logic families

被引：0
|
作者：
Tharalson, G
机构：
来源：
ELECTRONIC PRODUCTS MAGAZINE | 1996年 / 39卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：35 / 38
页数：4
相关论文
共 50 条
  • [21] Specifying causality in action theories: a default logic approach
    Zhang, Y
    THEORETICAL COMPUTER SCIENCE, 1999, 220 (02) : 489 - 513
  • [22] A Non-monotonic Logic for Specifying and Querying Preferences
    Boella, Guido
    van der Torre, Leendert
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1549 - 1550
  • [23] Specifying dynamic software architectures with dynamic description logic
    Zhao, Zhikun
    Li, Wei
    Journal of Software, 2012, 7 (01) : 169 - 175
  • [24] Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
    Nanevski, Aleksandar
    Banerjee, Anindya
    Delbianco, German Andres
    Fabregas, Ignacio
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [25] A formal approach to specifying architecture aspects and their weaving logic
    Yang, Chunhua
    Wan, Jiancheng
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 2, PROCEEDINGS, 2007, : 640 - +
  • [26] Specifying Safety of Autonomous Vehicles in Signal Temporal Logic
    Arechiga, Nikos
    2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), 2019, : 58 - 63
  • [27] Specifying distributed authorization with delegation using logic programming
    Wang, S
    Zhang, Y
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 761 - 767
  • [28] STANDARD METHODS OF SPECIFYING AND TESTING ANALOG AND HYBRID HARDWARE
    FLANDERS, AG
    DARCY, AJ
    CONGER, BD
    HALL, KL
    BAKER, EB
    SNOW, D
    BARKULOO, W
    RANDOLPH, LE
    SIMULATION, 1980, 34 (05) : 165 - 172
  • [29] Introduction to standard logic
    Fiala, J
    FILOSOFICKY CASOPIS, 2002, 50 (02): : 320 - 321
  • [30] Introduction to standard logic
    Gardies, JL
    REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 2004, 129 (02): : 252 - 253
12345