ЖДТУ Бібліотека Електронний каталог
 
Львов М.С., Песчаненко В.С., Летичевский А.А. Тарасич Ю.Г., Баев А.С.
Алгоритм и инструмент построения канонических форм линейных полуалгебраических формул

Вид документа: Книга
Рiк видання: 2018
Автор: Львов М.С., Песчаненко В.С., Летичевский А.А. Тарасич Ю.Г., Баев А.С. Авторський знак: Л89 Вид автора: персона
Мова: Російська Обсяг: С.159-169
Шифр: 519.7 УДК: 519.7
Аннотацiя: системы линейных неравенств, алгебраическое программирование, верификация программного обеспечения, канонические формы, линейные полуагебраические формулы
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет