Construction of a practical formal language for mathematical theories
- 作者V. M. Glushkov; Yu. V. Kapitonova; A. A. Letichevskii; K. P. Vershinin; N. P. Malevanyi
- 卷第8卷
- 期第5期
- 印刷ISSN1060-0396
- 电子ISSN1573-8337
- 文件大小1160.15KB
- 发表时间1972-0910
- DOI10.1007/bf01068445
- 页码730-739
Upgrading the nuclotron injection facilityA. V. Butenko, A. I. Govorov, E. D. Donets, E. E. Donets, D. E. Donets, K. A. Levterov, V. A. Monchinsky, G. V. Trubnikov, V. V. Fimushkin · 2012
Progress in development of Nuclotron accelerator complexN. N. Agapov; A. V. Alfeev; V. A. Andreev; V. I. Batin; O. I. Brovko; A. V. Butenko; B. -R. V. Vasilishin; V. I. Volkov; A. I. Govorov; E. D. Donets; E. E. Donets; D. E. Donets; A. V. Eliseev; I. B. Issinskii; V. N. Karpinskii; V. D. Kekelidze; A. D. Kovalenko; O. S. Kozlov; I. N. Meshkov; V. A. Mikhailov; V. A. Monchinskii; P. A. Rukoyatkin; N. V. Semin; A. O. Sidorin; A. N. Sissakian; V. M. Slepnev; A. S. Sorin; G. V. Trubnikov; G. G. Khodzhibagiyan · 2010
Superconducting synchrotron project for hadron therapyE. M. Syresin; V. A. Mikhailov; A. V. Tuzikov; N. N. Agapov; E. D. Donets; E. E. Donets; A. V. Eliseev; V. N. Karpinskii; A. D. Kovalenko; A. I. Malakhov; I. N. Meshkov; A. G. Ol’shevskii; G. V. Trubnikov; G. G. Khodzhibagyan; G. D. Shirkov; S. G. Shirkov · 2012
Experimental exposure of nuclear emulsion by xenon nuclei at the JINR nuclotronV. Bradnova; D. A. Artemenkov; L. A. Goncharova; E. D. Donets; E. E. Donets; P. I. Zarubin; I. G. Zarubina; A. D. Kovalenko; N. V. Kondrat’eva; N. K. Kornegrutsa; A. I. Malakhov; P. A. Rukoyatkin; V. V. Rusakova; N. G. Polykhina; A. S. Rusetskii; N. I. Starkov · 2011
Stereochemistry of heterocyclesA. V. Bogatskii; G. L. Kamalov; N. G. Luk'yanenko; E. A. Donets · 1972
Electrofused zirconia powdersV. D. Tkachenko; I. V. Pleskach; I. G. Donets; B. K. Lupin; D. Ya. Dudko; A. G. Dvoryaninov; I. N. Gorbatov; A. E. Terent'ev · 1991
Isomorphism of regular NM-graphs of degree 4G. A. Donets; G. A. Shulinok · 2006
Control of section-bending machinesI. S. Trishevskii; A. B. Yurchenko; V. S. Mar'in; V. V. Lan'ko; G. R. Kheifets; G. V. Donets · 1981