ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
512 С878
Сортировать по: заглавиюдате издания
Книга
Стрыгин В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул: Препринт N 98
1995 г.
ISBN отсутствует
НТБ МЭИ : Кх
Стрыгин В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул: Препринт N 98
1995 г.
ISBN отсутствует
НТБ МЭИ : Кх
На полку