GENTZEN STYLE SYSTEMS FOR K-45 AND K45D

被引：0
|
作者：
SHVARTS, GF
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 363卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：245 / 256
页数：12
相关论文
共 50 条
  • [31] STRUCTURE OF THE CAPSULAR POLYSACCHARIDE OF KLEBSIELLA SEROTYPE-K45
    DUTTON, GGS
    DIFABIO, JL
    ZANLUNGO, AB
    CARBOHYDRATE RESEARCH, 1982, 106 (01) : 93 - 100
  • [32] PROTON-HOLE STATES IN 47 45K
    BJERREGAARD, JH
    HANSEN, O
    NATHAN, O
    STOCK, R
    CHAPMAN, R
    HINDS, S
    PHYSICS LETTERS B, 1967, B 24 (11) : 568 - +
  • [33] THE K-45 MOLECULAR-WEIGHT ACTIN-MODULATING PROTEIN FROM SEA-URCHIN EGGS FORMS A COMPLEX WITH ACTIN IN THE PRESENCE OF CALCIUM-IONS
    OHNUMA, M
    MABUCHI, I
    JOURNAL OF BIOCHEMISTRY, 1986, 100 (03): : 817 - 820
  • [34] EXPERIMENTAL RELATIVE INTENSITY K-BETA-K-ALPHA IN ELEMENTS WITH Z=45, 46, 49
    MARQUES, MI
    MARTINS, MC
    FERREIRA, JG
    JAPANESE JOURNAL OF APPLIED PHYSICS, 1978, 17 : 116 - 117
  • [35] Robust low-k diffusion barrier (k=3.5) for 45-nm node low-k (k=2.3)/Cu integration
    Yoneda, K.
    Kato, M.
    Nakao, S.
    Kondo, S.
    Matsuki, V.
    Matsushita, K.
    Ohara, N.
    Kaneko, S.
    Fukazawa, A.
    Kimura, T.
    Kamigaki, Y.
    Kobayashi, N.
    PROCEEDINGS OF THE IEEE 2006 INTERNATIONAL INTERCONNECT TECHNOLOGY CONFERENCE, 2006, : 184 - 186
  • [36] A K=3/2+ ROTATIONAL BAND IN TI-45
    BLASI, P
    MORANDO, M
    MAURENZIG, PR
    TACCETTI, N
    LETTERE AL NUOVO CIMENTO, 1971, 2 (02): : 63 - +
  • [37] 自制控制木内托脚K45
    陈国平
    上海纺织科技, 1983, (09) : 40 - 41
  • [38] Cathepsin K is Superior to HMB45 for the Diagnosis of Pulmonary Lymphangioleiomyomatosis
    Rolim, Ines
    Makupson, Marquetta
    Lovrenski, Aleksandra
    Farver, Carol
    APPLIED IMMUNOHISTOCHEMISTRY & MOLECULAR MORPHOLOGY, 2022, 30 (02) : 108 - 112
  • [39] MAGNETIC ORDERING CHARACTER IN NEODYMIUM SULFIDE NEAR 45 DEGREES K
    NOVIKOV, VI
    POGARSKI.AM
    SHALYT, SS
    FIZIKA TVERDOGO TELA, 1973, 15 (02): : 561 - 562
  • [40] 'BOOK OF WAYS' + JARRETT,K. - ECM-1344-45
    WHITEHEAD, K
    DOWN BEAT, 1988, 55 (02): : 36 - 37
12345