| 000 | 01123nam0a22003011 4500 | ||
|---|---|---|---|
| 001 | RU\INFOCOMM_322\NLR\5000215755 | ||
| 005 | 20250613111928.0 | ||
| 090 |
_a9299467 _c9299466 |
||
| 100 | _a20130306d1972 |||y0rusy50 ca | ||
| 101 | 0 | _aeng | |
| 102 | _aRU | ||
| 105 | _ay z ||||| | ||
| 200 | 1 |
_aCriteria for the algorithmic completeness of the systems of operations _fBy V. A. Nepomniaschy ... _gSymposium on theoretical programming, Novosibirsk, Aug. 7-11, 1972 |
|
| 210 |
_a[Novosibirsk _d1972] |
||
| 215 |
_a19 с. _d20 см |
||
| 300 | _a"Preprint of report" | ||
| 320 | _aБиблиогр.: с. 17-18 | ||
| 606 | 0 |
_aСчетные машины, электронные _xСистемы операционные _2nlr_sh1 |
|
| 620 | _aНовосибирск | ||
| 686 |
_aТ8-2444(З973.2-018) _2rubbk |
||
| 700 | 1 |
_aNepomnjaščij _bV. A. _f1939- _gValerij Aleksandrovič |
|
| 712 | 1 | 2 |
_aSymposium on theoretical programming _eNovosibirsk _f1972 _4570 |
| 852 |
_aNLR _jТ11 Д-4/103 |
||
| 942 | _cBOOK | ||