退出
我的积分:
中文文献批量获取
外文文献批量获取
本社;
职业资格; 国务院; 行政审批项目; 专业技术人才; 合法权益;
机译:关于“公告”宣布修订公共水域水质环境标准,地下水环境标准和排水标准等一部分通知通知部分的发布和意见报价(公众意见)的结果
机译:国务院办公厅关于批准建设部《城市总体规划审查工作规则》的通知
机译:第四届TMS关于材料动态行为的专题讨论会:第一部分(第二部分将在后续发行中发布)
机译:福岛县田村市托罗区核事故后公私合营合作社开展的重建工作第二部分:从生活环境改善计划到实践的发展
机译:第一部分。中低肠沙门氏菌血清型伤寒感染相关数据缺口的分析 1984-2005年人类发展指数国家
机译:群体理论的某些简单,不可解决的问题。 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月检查了许多新细节。)
机译:联邦纪事,第62卷,第105号,1997年6月2日,星期一,通知。第2部分:环境保护局:建议重新发布NpDEs施工活动中雨水排放许可证;通知代理商信息收集活动
机译:包含批处理发布负责的制造授权持有人(PART 30)的RDEN3 / 4DEL 30(MED),RDEN2 / 4DELAT30(MED)或第4类制造的第三次一般转让的EA部分持有人,在TITL2控制主题中采用了第30章的新类型
机译:协调在零件,飞机的一部分以及飞机的一部分中进行工作的机器人操作的方法,装置和系统
机译:工作机器人的末端执行器交换系统和工作机器人,包括同一部分
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。