退出
我的积分:
中文文献批量获取
外文文献批量获取
阿佩;
水下排水量; 军备竞赛; 下潜深度; “台风”; 战略轰炸机; 海上试验; 战略力量; 太空武器; 推进系统; 海上活动;
机译:会计信息失真根源的实证分析——读《会计信息质量抽查公告(第七号)》有感
机译:5号电厂“红色十月”-被围困的列宁格勒的能源心脏
机译:被红色十月号困扰
机译:联合国大会第70/27号决议“没有在太空中首先放置武器:对防止外层空间军备竞赛的积极贡献?
机译:难以捉摸的本质:从理论上讲冷战的稳定性以及十月战争期间美苏遭遇的故事。
机译:准则过敏项目和十月号的实施
机译:群体理论的某些简单,不可解决的问题。 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月检查了许多新细节。)
机译:从COBRa到塞纳河,1944年8月:运营艺术的一个缩影
机译: Andropogon gerardii I>名为“红色十月”的植物
机译:该扬声器具有驱动器和具有第一和第二号角的复合号角,一个在另一个号角之上,第二号角的出口比第一号角更宽,并且两个号角在其外端具有共同的开口。
机译:外科手术数据的模式内同步(相关申请的交叉引用)本申请于2013年3月15日提交,名称为“病理学追踪的系统和方法”,美国临时申请号61/801。 ,282,其全部通过引用并入本文。本申请于2013年3月15日提交,要求美国临时申请号61 / 800,911的优先权,其名称为“高光谱成像设备”,其全部内容在这里。通过引用并入。本申请于2013年3月15日提交,并要求美国临时申请No.61 / 801,746的优先权,其名称为“ Insert Imaging Device”,在此引用其全部内容。合并为。本申请于2013年5月1日提交,并要求美国临时申请No.61 / 818,255的优先权,其名称为“ Insert Imaging Device”,在此引用其全部内容。合并为。此申请也于2月3日15日提交
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。