| 000 | 01523nam0a22002771 4500 | ||
|---|---|---|---|
| 001 | rc\1093094 | ||
| 005 | 20250622143538.0 | ||
| 035 | _a(NLR Aleph) 006339654 | ||
| 090 |
_a7628848 _c7628848 |
||
| 100 | _a20041126d1983 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aIII конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г. _eТез. докл. |
|
| 210 |
_aТаллин _cБ. и. _d1983 |
||
| 215 |
_a212 с. _d20 |
||
| 300 | _aЗагл. обл.: Применение методов математической логики | ||
| 300 | _aВ надзаг.: Науч. совет по комплекс. пробл. "Кибернетика" при Президиуме АН СССР, Науч. совет по пробл. "Искусств. интеллект" Ком. систем. анализа при Президиуме АН СССР, Ин-т кибернетики АН ЭССР, Ленингр. электротехн. ин-т им. В.И. Ульянова (Ленина) МВ и ССО РСФСР | ||
| 320 | _aБиблиогр. в конце докл. | ||
| 512 | 0 | _aПрименение методов математической логики | |
| 710 | 1 | 2 |
_a"Применение методов мат. логики", конф. _d3 _f1983 _eТаллин |
| 801 | 0 |
_aRU _bNLR _gpsbo |
|
| 801 | 1 |
_aRU _bELAR _2rusmarc |
|
| 852 |
_aNLR _j83-3/12176 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||