Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
автоматизація, автоматизация
автоматизация доказательств теорем
Документи:
Летичевский, А. А.
Алгоритм Очевидности Глушкова [Текст] / А. А. Летичевский, А. В. Лялецкий, М. К. Мороховец // Кибернетика и системный анализ. – 2013. – Т. 49, № 4. – С. 3-16.
Інформаційно-пошукова система
'УФД/Бібліотека'
