| 000 | 01686nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1082906 | ||
| 005 | 20260405133034.0 | ||
| 021 |
_aRU _b2007-22234 _91172 |
||
| 035 | _a(NLR Aleph) 001070081 | ||
| 090 |
_a993107 _c993107 |
||
| 100 | _a20070508d2006 |||y0rusy50 ca | ||
| 101 | 0 |
_arus _deng |
|
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aПроблема разложимости при формальном описании знаний _dFormal knowlendge representation and the decomposability problem _fД.К. Пономарев _zeng |
|
| 210 |
_aНовосибирск _cИнститут систем информатики _d2006 |
||
| 215 |
_a21 с. _d21 |
||
| 225 | 1 |
_aПрепринт _fРос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова _v135 |
|
| 300 | _aАвт. также на англ. яз.: Denis Ponomaryov | ||
| 300 | _aРез. на англ. яз. | ||
| 313 | _aИсчисление предикатов | ||
| 320 | _aБиблиогр.: с. 21 (4 назв.) | ||
| 510 | 0 |
_6z22790 _aFormal knowlendge representation and the decomposability problem _zeng |
|
| 606 | 1 |
_aИсчисление предикатов _92255985 _3RU\NLR\auth\661352941 |
|
| 686 | _aВ123 | ||
| 700 | 1 |
_4070 _8rus _7ca _aПономарев _bД. К. _cканд. физ.-мат. наук _f1981- _gДенис Константинович _3RU\NLR\auth\7753775 _936707 |
|
| 790 | 1 |
_4070 _8rus _7ba _aPonomarev _bD. K. _cканд. физ.-мат. наук _f1981- _gDenis Konstantinovič _3RU\NLR\auth\7753776 _936708 |
|
| 801 | 0 |
_aRU _bNLR _c20070508 _gRCR |
|
| 801 | 1 |
_aRU _bNLR _c20070508 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||