| 000 | 01046nam0a22002531 4500 | ||
|---|---|---|---|
| 001 | rc\116907 | ||
| 005 | 20250620185806.0 | ||
| 035 | _a(NLR Aleph) 005375423 | ||
| 090 |
_a7044354 _c7044354 |
||
| 100 | _a20021216d1993 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aЛОГИЧЕСКИЕ методы в информатике _e[Сб. ст.] _fНауч. ред. чл.-кор. РАН Ю.Л. Ершов, чл.-кор. АН ВШ С.С. Гончаров |
|
| 210 |
_aНовосибирск _cИн-т математики _d1993 (вып. дан. 1994) |
||
| 215 |
_a[1], 176 с. _cил. _d20 |
||
| 225 | 1 |
_aВычислительные системы _eСб. науч. тр. _fРос. акад. наук. Сиб. отд-ние. Ин-т математики _vВып. 148 |
|
| 320 | _aБиблиогр. в конце ст. | ||
| 702 | 1 |
_aЕршов _bЮ.Л. _gЮрий Леонидович _4340 |
|
| 801 | 0 |
_aRU _bNLR _gpsbo |
|
| 801 | 1 |
_aRU _bELAR _2rusmarc |
|
| 852 |
_aNLR _jП10/2760 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||