| 000 | 01653nam a2200325 4500 | ||
|---|---|---|---|
| 001 | vtls000014594 | ||
| 003 | RU-ToGU | ||
| 005 | 20210909175238.0 | ||
| 008 | 120826s1995 ru f 000 0 rus d | ||
| 020 |
_a5020068969 _c5900.00 |
||
| 035 | _a0015-52060 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 080 | _a681.3.06:510.6 | ||
| 084 |
_a50.41 _2rugasnti |
||
| 245 | 1 | 0 |
_aЛогика и компьютер _nВып. 2 _b[Сборник] _cРос. АН; Отв. ред. В. А. Смирнов |
| 246 | 1 | 2 | _aЛогические языки, содержательные рассуждения и методы поиска доказательств |
| 260 |
_aМ. _bНаука _c1995 |
||
| 300 |
_a129, [7] с. _bил. |
||
| 490 | 1 | 0 | _aКибернетика: неограниченные возможности и возможные ограничения |
| 504 | _aБиблиогр. в конце ст. | ||
| 653 | _aЭВМ. | ||
| 653 | _aперсональные компьютеры. | ||
| 653 | _aязыки искусственного интеллекта. | ||
| 653 | _aязыки логического программирования. | ||
| 653 | _aлогическое программирование. | ||
| 700 | 1 |
_aСмирнов, В. А. _eотв. ред. _4pbd _9141540 |
|
| 830 |
_aКибернетика: неограниченные возможности и возможные ограничения _954837 |
||
| 852 | 4 |
_aRU-ToGU _h1-833688к _i681.3 _nru |
|
| 999 | _c42172 | ||