51 Алго     Алгоритм машинного поиска естественного логического вывода в исчислении высказываний [Текст] / Шанин Н.А. — Москва ; Ленинград, 1965. — 40 с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка		Перейти на сайт