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