| 000 | 01216nam0a22003011 4500 | ||
|---|---|---|---|
| 001 | rc\685858 | ||
| 005 | 20260406044904.0 | ||
| 035 | _a(NLR Aleph) 005922900 | ||
| 090 |
_a6496218 _c6496218 |
||
| 100 | _a20031121d1985 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aКонтрольное перифразирование в системе поиска выводов _fИ.В. Горская, О.А. Колядова, С.В. Попов |
|
| 210 |
_aМ. _cИПМ _d1985 |
||
| 215 |
_a20 с. _cил. _d20 |
||
| 225 | 1 |
_aПрепринт _fИн-т прикл. математики им. М.В. Келдыша АН СССР _v№ 128 |
|
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 20 | ||
| 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 _j87-4/8338 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||