首页> 美国政府科技报告 >Compilation of Papers Read at the 1980 Annual Colloquium of Projekt Nukleare Sicherheit

【24h】

Compilation of Papers Read at the 1980 Annual Colloquium of Projekt Nukleare Sicherheit

机译：论文汇编阅读1980年度projekt Nukleare sicherheit年度学术讨论会

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Separate abstracts are presented for each of the papers included in the data base.

著录项

作者
Hirsch, K.; Salzmann, H.; Roehr, H.; Steuer, K. H.;
展开▼
作者单位

展开▼
年度 1981
页码 1-311
总页数 311
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Reactor safety; Reactor accidents; Meetings; Leading abstract;

机译：反应堆安全;反应堆事故;会议;领先的摘要;

相似文献

外文文献
中文文献
专利

1. The 12th annual colloquium of TARJ compilation of abstracts improvement of slide gate plate shape [J] . Mukouyama K., Hayamizu K. Taikabutsu Overseas . 2002,第0期

机译：TARJ第十二届年度学术讨论会摘要改进滑门板形状
2. Hippocrates and Medical Education: Selected Papers Read at the XIIth International Hippocrates Colloquium, Universiteit Leiden, 24–26 August 2005 [J] . Konstantinos A. Kapparis Journal of the History of Medicine and Allied Sciences . 2011,第4期

机译：希波克拉底和医学教育：论文选读于第十二届国际希波克拉底学术讨论会，莱顿大学，2005年8月24日至26日
3. An Information Agenda for the 1980s: Proceedings of a Colloquium, June 27-28, 1980; The Future of the Printed Word: The Impact and Implications of the New Communications Technology (Book Review) [J] . Richard A. Olsen College & Research Libraries . 1981,第4期

机译：1980年代的信息议程：学术讨论会的会议记录，1980年6月27日至28日;印刷文字的未来：新通信技术的影响和启示（书评）
4. Annual Landsat analysis of urban growth of Nanjing City from 1980 to 2013 [C] . Luo Jieqiong, Du Peijun, Alim Samat, International Workshop on Earth Observation and Remote Sensing Applications . 2014

机译：南京市1980年至2013年年度Landsat分析
5. Mapping research themes in communication: Semantic network analysis of papers from annual meetings of the international communication association, 2005-2011. [D] . Petrick, Joseph Anthony. 2014

机译：交流中的研究主题映射：国际交流协会年度会议论文的语义网络分析，2005-2011年。
6. Abstracts of Papers Presented at the Nineteenth Annual Meeting of the Society ofNematologists New Orleans Louisiana August 10-13 1980 [O] . 1980

机译：在美国学会第十九届年会上发表的论文摘要。路易斯安那州新奥尔良线虫学家1980年8月10日至13日
7. Certain Simple, Unsolvable Problems of Group Theory. V 29,3029Parts I, II, III and IV have appeared in Series A, 57, Nos. 3 and 5; 58, Nos. 2 and 5 of these Proceedings, as well as Indag. Math., 16, Nos. 3 and 5 (1954); 17, Nos. 2 and 5 (1955).In Part I, page 234, the ninth and tenth lines following the displayed material, for both occurrences of A read D and for both occurrences of B read E: In part II, page 497, for all occurrences of M in Diagrams A and D read C. In Part IV, page 574, the third displayed line, for zαiLread z―αiL. 19).30The proof of the unsolvability of the word problem contained in this and subsequent paper is not contained in the dissertation Several simple unsolvable problems of group theory related to the word problem. (See footnote 1 of Part I.) Our proof was finally completed during the period 1954-56 while in residence at the Institute for Advanced Study. We were supported in 1954-55 directly by the Institute and in 1955-56 by National Science Foundation contract G-1974. Certain improvements were evolved ans preparations for publication were completed while the author held a Fulbright grant to the University of Oslo.Our thanks are due to Professor Kurt Gödel for his kind encouragement in these matter; certain related problems for study he has suggested we hope to deal with later. When an earlier version of Lemmas 30 and 31 was explained at a colloquium at the University of Michigan, August 3, 1956, Professor Roger Lyndon suggested an improvement which is incorporated in our present version. We are indeed indebted to Dr. John Addison and Dr. Michael Rabin for checking many of the new details during July of 1956.) [O] . Boone William W. 1957

机译：群体理论的某些简单，不可解决的问题。 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月检查了许多新细节。）
8. Criteria and Assessment of Potential Hazards to Health: Rapporteur's Summary of Papers Presented in Theme One of the Colloquium on Welding and Health. IIW Annual Meeting, Lisbon, 1980 [R] . Stern, R. M. 1980

机译：健康潜在危害的标准和评估：报告人在焊接与健康学术讨论会主题一中提出的论文摘要。 IIW年会，里斯本，1980年

Compilation of Papers Read at the 1980 Annual Colloquium of Projekt Nukleare Sicherheit

摘要

著录项

相似文献

相关主题

期刊订阅