科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
谢丽娟;
机译:“最后一次冰川最大期东北大西洋的海鱼重灾区:来自考古学和古温度重建的一致评估”,发表于Clim。过去,7、181-201、2011年
机译:东曹和南阳工厂完成了异氰酸酯基酯链的第二期扩建-在过去两年内投资了1000亿日元/全面审查了第三期扩建计划-
机译:黄金黄金提炼期延长至四分之一
机译:皇家海军急性和慢性菌株:Ⅲ期Ⅲ期Ⅲ期Ⅲ期研究结果
机译:胰岛素治疗在糖尿病患有糖尿病妊娠期怀孕胎儿的疗效=胰岛素治疗对妊娠期妊娠期妊娠期妊娠期妊娠期胎儿内皮的影响
机译:黄金期Ⅱ期慢性阻塞性肺疾病(COPD)患者卵圆孔卵圆孔的重要性
机译:群体理论的某些简单,不可解决的问题。 V 29,3029 I,II,III和IV部分出现在A系列57、3和5号中; 58,第2和5号程序,以及Indag。 Math。,16,Nos 3 and 5(1954); 》,第17卷,第2期和第5期(1955年)。在第一部分,第234页中,显示的材料之后的第九行和第十行,出现A读D和出现B都读E:在第二部分,第497页,对于图A和D中所有出现的M,请读C。在第Ⅳ部分,第574页中,第三行显示为zαiLreadz-αiL。 19).30本论文及后续论文中所包含的单词问题的不可解性的证明不包含在本文中。 (请参阅第I部分的脚注1。)我们的证明终于在1954-56年期间居住在高级研究所期间完成了。该研究所在1954-55年间直接为我们提供了支持,在1955-56年间得到了美国国家科学基金会的G-1974合同的支持。在作者获得奥斯陆大学富布赖特奖学金的同时,对出版物的改进和准备工作也有所进展。感谢库尔特·哥德尔教授在此方面的大力鼓励。他建议我们研究一些相关的问题,希望以后再解决。 1956年8月3日,在密歇根大学的一个座谈会上解释了Lemmas 30和31的早期版本时,Roger Lyndon教授建议进行改进,并将其纳入当前版本。我们确实要感谢John Addison博士和Michael Rabin博士在1956年7月检查了许多新细节。)
机译:纳瓦尔海洋系统司令部科学家和工程师协会年度技术研讨会(第33期)。技术论文。黄金周年1946-1996'从50前进'。于1996年4月26日举行
机译:尿道导管,尿液收集装置,用于连接尿道导管的连接器,膀胱导管,在患者尿道的一部分中引起负压的系统,从患者输尿管或肾脏中抽出尿液的方法,通过施加负压抑制肾脏损害的方法,治疗由于静脉充血引起的急性肾损伤的方法,治疗nyha iii级或iv级心力衰竭的方法,治疗nyha ii级,iii等级或心力衰竭iv级的方法,治疗慢性4期或5期的方法驯鹿疾病和治疗慢性肾脏病的3期,4期或5期的方法
机译:在4周期发动机,6周期发动机,8周期发动机或超过10周期发动机中使用活塞阀或旋转阀时,使实际膨胀比大于实际压缩比的方法
机译:光学编码器和驱动控制装置,包括光接收元件,以接收由第一周期图案形成的第一干涉条纹和从第二周期图案朝向第一周期图案的第二衍射光
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。