Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
С
система формальная
Документи:
Герман, О. В.
Получение выводов в противоречивых системах [Текст] / О. В. Герман // Кибернетика и системный анализ. – 2005. – № 5. – 29-41.
Смальян, Р.
Теория формальных систем [Текст] / Р. Смальян ; пер. Пер. с англ. под ред. Н.А.Шанина. – М. : Наука, 1981. – 207 с. – (Математическая логика и основания математики).
Інформаційно-пошукова система
'УФД/Бібліотека'