| 000 | 00599nam a2200085 4500 | ||
|---|---|---|---|
| 008 | 220314s1965 ru ||||| |||| 00| 0 rus d | ||
| 080 | _a518.5+164 | ||
| 245 |
_aАлгоритм машинного поиска естественного логического вывода в исчислении высказываний / _cН. А. Шанин, Г. В. Давыдов, С. Ю. Маслов и др. ; Акад. наук СССР. Матем. ин-т им. В. А. Стеклова. Ленингр. отд-ние. |
||
| 264 |
_a Ленинград : _b Наука. [Ленингр. отд-ние] , _c1965. |
||
| 999 |
_c572281 _d572279 |
||