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 条
  • [41] Weak rays in K spectra of elements 45 Rh at 42 Mo
    Hulubei, H
    Cauchois, Y
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1933, 196 : 1294 - 1297
  • [42] 45SC(N,P)45CA AND 45SC(N,ALPHA)42K MEAN FISSION NEUTRON CROSS SECTIONS
    DEREGGE, P
    DAMS, R
    HOSTE, J
    RADIOCHIMICA ACTA, 1968, 10 (3-4) : 156 - &
  • [43] Adsorption and wetting structures of Kr on Pt(111) at 8 K and 45 K studied by scanning tunneling microscopy
    Li, YJ
    Miyake, K
    Takeuchi, O
    Futaba, DN
    Matsumoto, M
    Okano, T
    Shigekawa, H
    JAPANESE JOURNAL OF APPLIED PHYSICS PART 1-REGULAR PAPERS BRIEF COMMUNICATIONS & REVIEW PAPERS, 2001, 40 (6B): : 4399 - 4402
  • [44] Adsorption and wetting structures of Kr on Pt(111) at 8 K and 45 K studied by scanning tunneling microscopy
    Li, Yan Jun
    Miyake, Koji
    Takeuchi, Osamu
    Futaba, Don Norimi
    Matsumoto, Masuaki
    Okano, Tatsuo
    Shigekawa, Hidemi
    Japanese Journal of Applied Physics, Part 1: Regular Papers and Short Notes and Review Papers, 2001, 40 (6 B): : 4399 - 4402
  • [45] 从10微米到45纳米——英特尔45nm+High-K技术解析
    李琪
    信息系统工程, 2007, (12) : 31 - 37
  • [46] EFFECTS OF PHOSPHATIDYL INOSITOL 4,5-DIPHOSPHATE (PIP2) ON F-ACTIN-SEVERING ACTIVITY OF K-45 PROTEIN FROM SEA-URCHIN EGGS
    OHNUMA, M
    MABUCHI, I
    ZOOLOGICAL SCIENCE, 1987, 4 (06) : 1006 - 1006
  • [47] A 45 nm CMOS node Cu/Low-k/ultra low-k PECVD SiCOH (k=2.4) BEOL technology
    Sankaran, S.
    Arai, S.
    Augur, R.
    Beck, M.
    Biery, G.
    Bolom, T.
    Bonilla, G.
    Bravo, O.
    Chanda, K.
    Chae, M.
    Chen, F.
    Clevenger, L.
    Cohen, S.
    Cowley, A.
    Davis, P.
    Demarest, J.
    Doyle, J.
    Dimitrakopoulos, C.
    Economikos, L.
    Edelstein, D.
    Farooq, M.
    Filippi, R.
    Fitzsimmons, J.
    Fuller, N.
    Gates, S. M.
    Greco, S. E.
    Grill, A.
    Grunow, S.
    Hannon, R.
    Ida, K.
    Jung, D.
    Kaltalioglu, E.
    Kelling, M.
    Ko, T.
    Kumar, K.
    Labelle, C.
    Landis, H.
    Lane, M. W.
    Landers, W.
    Lee, M.
    Li, W.
    Liniger, E.
    Liu, X.
    Lloyd, J. R.
    Liu, W.
    Lustig, N.
    Malone, K.
    Marokkey, S.
    Matusiewicz, G.
    McLaughlin, P. S.
    2006 INTERNATIONAL ELECTRON DEVICES MEETING, VOLS 1 AND 2, 2006, : 89 - +
  • [48] Superconductivity at 45 K in La2CuO4+δ oxidized by NaClO
    Tu, QY
    Chen, XL
    Ma, BK
    Zhao, ZX
    Lan, YC
    Liang, JK
    APPLIED PHYSICS A-MATERIALS SCIENCE & PROCESSING, 2002, 74 (01): : 79 - 82
  • [49] THE SYMBIOTIC NATURE OF THE EMISSION-LINE OBJECT K4-45
    SHCHELKANOVA, AY
    SOVIET ASTRONOMY LETTERS, 1987, 13 (06): : 446 - 448
  • [50] SOD Stack Low-k Integration for 45 nm Node and Beyond
    K. Maekawa
    H. Nagai
    M. Iwashita
    M. Muramatsu
    K. Kubota
    K. Hinata
    A.Shiota
    T. Kokubo
    M. Hattori
    K. Mishima
    H. Nagano
    M. Kodera
    K. Tokushige
    电子工业专用设备, 2005, (03) : 69 - 73
12345