Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
логіка, логика
логика первого порядка
Документи:
Афонин, А. А.
О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями [Текст] / А. А. Афонин. – С. 87-94.
Бессмертный, И. А.
Визуализация знаний на основе семантической сети [Текст] / И. А. Бессмертный // Программирование. – 2010. – № 4. – С. 16-24.
Лялецький, О. В.
Евіденціальна парадигма: логічний аспект [Текст] / О. В. Лялецький // Кибернетика и системный анализ. – 2003. – № 5. – 37-47.
Інформаційно-пошукова система
'УФД/Бібліотека'