| 000 | 01188nam0a22003011 4500 | ||
|---|---|---|---|
| 001 | rc\685857 | ||
| 005 | 20260406044904.0 | ||
| 035 | _a(NLR Aleph) 005922899 | ||
| 090 |
_a6496208 _c6496208 |
||
| 100 | _a20031121d1985 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aВходные языки системы поиска выводов _fИ.В. Горская, М.А. Короткова, С.В. Попов |
|
| 210 |
_aМ. _cИПМ _d1985 |
||
| 215 |
_a24 с. _d21 |
||
| 225 | 1 |
_aПрепринт _fИн-т прикл. математики им. М.В. Келдыша АН СССР _v№ 43 |
|
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 24 | ||
| 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/26115 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||