| 000 | 01183nam0a22003011 4500 | ||
|---|---|---|---|
| 001 | rc\685859 | ||
| 005 | 20260406044905.0 | ||
| 035 | _a(NLR Aleph) 005922901 | ||
| 090 |
_a6496229 _c6496229 |
||
| 100 | _a20031121d1985 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aТранслятор системы поиска выводов _fИ.В. Горская, М.А. Короткова, С.В. Попов |
|
| 210 |
_aМ. _cИПМ _d1985 |
||
| 215 |
_a28 с. _d20 |
||
| 225 | 1 |
_aПрепринт _fИн-т прикл. математики им. М.В. Келдыша АН СССР _v№ 42 |
|
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 28 | ||
| 700 | 1 |
_aГорская _bИ.В. _gИрина Викторовна |
|
| 701 | 1 |
_aКороткова _bМ.А. _gМария Александровна |
|
| 701 | 1 |
_8rus _7ca _aПопов _bС. В. _cканд. физ.-мат. наук, кибернетика _f1946- _gСергей Викторович _3RU\NLR\AUTH\774679 _9114656 |
|
| 801 | 0 |
_aRU _bNLR _gpsbo |
|
| 801 | 1 |
_aRU _bELAR _2rusmarc |
|
| 852 |
_aNLR _j85-4/28428 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||