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