DOES ATLAS NEED A FORMAL DEFINITION

被引：0
|
作者：
GAUTHIER, RL
HART, DC
机构：
来源：
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS | 1976年 / 12卷 / 02期
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页码：304 / 304
页数：1
相关论文
共 50 条
  • [1] DOES ATLAS NEED A FORMAL DEFINITION?
    Gauthier, Richard L.
    Hart, Damon C.
    1600, IEEE, New York, NY
  • [2] UPWELLING - DOES IT NEED A STRICTER DEFINITION
    ROCHFORD, DJ
    AUSTRALIAN JOURNAL OF MARINE AND FRESHWATER RESEARCH, 1991, 42 (01): : 45 - 46
  • [3] Does the IASP definition of pain need updating?
    Aydede, Murat
    PAIN REPORTS, 2019, 4 (05)
  • [4] Does the definition of the Mediterranean diet need to be updated? Foreword
    Serra-Majem, L
    Trichopoulou, A
    de la Cruz, JN
    Cervera, P
    Alvarez, AG
    La Vecchia, C
    Lemtouni, A
    Trichopoulos, D
    PUBLIC HEALTH NUTRITION, 2004, 7 (07) : 927 - 929
  • [5] Does Every Computer Scientist Need to Know Formal Methods?
    Broy, Manfred
    Brucker, Achim D.
    Fantechi, Alessandro
    Gleirscher, Mario
    Havelund, Klaus
    Kuppe, Markus Alexander
    Mendes, Alexandra
    Platzer, Andre
    Ringert, Jan Oliver
    Sullivan, Allison
    FORMAL ASPECTS OF COMPUTING, 2025, 37 (01)
  • [6] What does industry need from formal specification techniques?
    Hall, A
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 2 - 7
  • [7] Gastrointestinal lymphomas: Does the role of surgery need a new definition?
    Junginger, T
    CHIRURGISCHE GASTROENTEROLOGIE, 2002, 18 (01): : 65 - 66
  • [8] Comments on the content of persecutory delusions: Does the definition need clarification?
    Freeman, D
    Garety, PA
    BRITISH JOURNAL OF CLINICAL PSYCHOLOGY, 2000, 39 : 407 - 414
  • [9] Obesity hypoventilation syndrome: does the current definition need revisiting?
    Hart, Nicholas
    Mandal, Swapna
    Manuel, Ari
    Mokhlesi, Babak
    Pepin, Jean-Louis
    Piper, Amanda
    Stradling, John R.
    THORAX, 2014, 69 (01) : 83 - U100
  • [10] A formal definition of carriers
    Jaime Keller
    Peter Weinberger
    Advances in Applied Clifford Algebras, 2002, 12 (1) : 39 - 62
12345