BOOLEAN UNIFICATION - THE STORY SO FAR

被引:45
|
作者
MARTIN, U [1 ]
NIPKOW, T [1 ]
机构
[1] MIT,COMP SCI LAB,CAMBRIDGE,MA 02139
关键词
D O I
10.1016/S0747-7171(89)80013-6
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:275 / 293
页数:19
相关论文
共 50 条
  • [21] In Control: The Story so Far
    Sanderson, Helen
    Duffy, Simon
    Poll, Carl
    Hatton, Chris
    JOURNAL OF INTEGRATED CARE, 2006, 14 (04) : 3 - 13
  • [22] Stonehenge: The Story So Far
    Hutton, Ronald
    TIME & MIND-THE JOURNAL OF ARCHAEOLOGY CONSCIOUSNESS AND CULTURE, 2009, 2 (01): : 111 - 113
  • [23] PDP: the story so far
    Wells, Julian
    IN PRACTICE, 2009, 31 (09) : 460 - 463
  • [24] TAMOXIFEN - THE STORY SO FAR
    FRASER, SCA
    BROOKS, MD
    BRITISH JOURNAL OF CLINICAL PRACTICE, 1989, 43 (10): : 380 - 382
  • [25] Apoptosis - The story so far ...
    Samali, A
    Gorman, AM
    Cotter, TG
    EXPERIENTIA, 1996, 52 (10-11): : 933 - 941
  • [26] The Story So Far Ithaka
    Tracy, Lorna
    STAND, 2015, 13 (03): : 11 - 17
  • [27] Levodopa: the story so far
    Alison Abbott
    Nature, 2010, 466 : S6 - S7
  • [28] TARTRAZINE - THE STORY SO FAR
    ROBINSON, G
    FOOD AND CHEMICAL TOXICOLOGY, 1988, 26 (01) : 73 - 76
  • [29] Curcumin: The story so far
    Sharma, RA
    Gescher, AJ
    Steward, WP
    EUROPEAN JOURNAL OF CANCER, 2005, 41 (13) : 1955 - 1968
  • [30] EMILIA the story so far
    Dawson, Ian
    PSYCHOSIS-PSYCHOLOGICAL SOCIAL AND INTEGRATIVE APPROACHES, 2009, 1 : S59 - S60