З81 Г555 Глушков, Виктор     Машина доказывает [Текст]. Математика и кибернетика / Виктор Глушков. — Москва : Знание, 1981. — 64 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету	1	Перейти на сайт