Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
система
система линейных неравенств
Документи:
Львов, М. С.
Метод трапецоидов решения систем линейных неравенс и его реализация инсерционным моделированием [Текст] / М. С. Львов, В. С. Песчаненко // Кибернетика и системный анализ. – 2012. – Т. 48, № 6. – С. 144-156.
Алгоритм и инструменты построения кононических форм линейных полуалгебраических формул [Текст] / М. С. Львов, В. С. Песчаненко, А. А. Летичевский [и др.] // Кибернетика и системный анализ. – 2018. – Т. 54, № 6. – С. 159-169.
Інформаційно-пошукова система
'УФД/Бібліотека'