退出
我的积分:
中文文献批量获取
外文文献批量获取
杜涉;
航天飞机计划; “企业”号; 视线; 公众; 太空任务; 人类历史; 空间轨道; 辅助电源;
机译:机组在第一架STS-114 Spacewalk中测试航天飞机维修工具
机译:终于来了!向理研集团命名的第113号元素日本的第一个元素出现在元素周期表中
机译:对于'09级别的宇航员,联盟号,不是航天飞机,可能是第一次飞行
机译:登月第一架以色列航天飞机
机译:从哥伦比亚号航天飞机中回收的7号窗载板瓷砖和热窗格碎片的材料行为
机译:西部大学(加拿大固定医院第10号和加拿大总医院第14号):第一次世界大战中的医疗志愿服务研究
机译:群体理论的某些简单,不可解决的问题。 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月检查了许多新细节。)
机译:太阳 - 地球物理数据第387.第一部分。及时报告。 1976年10月至1976年9月的数据。1976年2月发布的第378号(补编)数据报告的说明,
机译:vermevexlare,其中vermeavgivande anga分两步出现,第一个出现在外部rorvermevexlare中,第二个出现在外部排列的内部rorvermevexlare中
机译:标识第一架构寄存器号和第二架构寄存器号的编码指令
机译:将第一网络的信号传输到信令系统7(SS7)并将信号传输到第一网络电信系统s.Inaliza n S7中的第一节点到第二SS7中的第二节点的过程电信网络和系统,将信号从第一个7号信令系统的网络传送到第二个网络。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。