| 000 | 00775nam a2200193 4500 | ||
|---|---|---|---|
| 999 |
_c189814 _d189812 |
||
| 003 | Ge_NSL | ||
| 005 | 20180503122843.0 | ||
| 008 | 180503s1965 ru ||||| |||| 00| 0 rus d | ||
| 020 | _a | ||
| 041 | _arus | ||
| 080 | _a164 | ||
| 245 |
_aАлгорифм машинного поиска естественного логического вывода в иссилении высказываний / _cАкад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел.Перед. загл. авт. Н. А. Шанин и др. |
||
| 264 |
_aМ.: _bнаука, _c1965. |
||
| 300 | _a39 с. | ||
| 653 | _aალგორითმი | ||
| 653 | _aლოგიკა | ||
| 700 | _aШанин Н. А. | ||
| 942 |
_2udc _cBK |
||