| 000 | 01051nam a2200229 4500 | ||
|---|---|---|---|
| 999 |
_c189818 _d189816 |
||
| 003 | Ge_NSL | ||
| 005 | 20180820160028.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Шанин Н. А. _965320 |
||
| 700 |
_aДавидов Г. В. _965321 |
||
| 700 |
_aМаслов С. Ю. _965322 |
||
| 710 |
_aАкад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел. _965323 |
||
| 942 |
_2udc _cBK |
||