Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
обчислення, вычисление = исчисление
обчислення предикатів, исчисление предикатов
Документи:
Кухар, М. А.
Формалізація елементів Земельного кодексу України для представлення їх у базі знань [Електронний ресурс] / М. А. Кухар // Наукові праці Вінницького національного технічного університету. – 2017. – № 3. – С. 1-6.
Методика формализации задачи распознавания состояний радиоизлучающих объектов на основе формально-логического подхода [Текст] / А. В. Прохоров, В. П. Прохоров, Н. М. Калюжный [та ін.] // Радиоэлектроника и информатика. – 2019. – № 1. – С. 54-64.
Інформаційно-пошукова система
'УФД/Бібліотека'