ЖДТУ Бібліотека Електронний каталог | |
Листровой С.В. Метод решения задачи три-выполнимость Вид документа: Стаття періодичного видання Рiк видання: 2001 Автор: Листровой С.В. Авторський знак: Л63 Вид автора: персона Мова: Російська Обсяг: с.66 Шифр: 519.854 УДК: 519.854 Є складовою частиною документа: Институт проблем моделирования в энергетике НАН Украины Электронное моделирование | |
|