| 000 | 01396nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\b_ik\184845 | ||
| 005 | 20260408205035.0 | ||
| 021 |
_aRU _b2010-43480 _92919 |
||
| 035 | _a(NLR Aleph) 002257364 | ||
| 090 |
_a3771520 _c3771520 |
||
| 100 | _a20100720d2010 u y0rusy50 ca | ||
| 101 | 0 |
_aeng _drus |
|
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aSupercompiler HOSC 1.0: proof of termination _fIlya G. Klyuchnikov |
|
| 210 |
_aMoscow _c[s.n.] _d2010 |
||
| 215 |
_a27 c. _cсхем. _d20 |
||
| 225 | 1 |
_aПрепринт _fKeldysh Inst. of appl. mathematics, Russ. acad. of sciences _x2071-2898 _vN° 21 |
|
| 300 | _aНа обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников | ||
| 300 | _aНа обл. надзаг. на рус. яз. | ||
| 300 | _aРез. на рус. яз. | ||
| 313 | _aHOSC 1.1 | ||
| 320 | _aБиблиогр.: с. 24-25 (16 назв.) | ||
| 517 | 0 | _aСуперкомпилятор HOSC 1.1: доказательство завершаемости | |
| 606 |
_aHOSC 1.1, компиляторы (компьют.) _3RU\NLR\auth\661592853 _92136973 |
||
| 686 | _aЗ973.2-018-5-05 | ||
| 700 | 1 |
_aKljučnikov _bI. G. _gIl'ja G _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20100720 _gRCR |
|
| 801 | 1 |
_aRU _bNLR _c20100720 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||