Поиск :
Личный кабинет :
Электронный каталог: Стрыгин, В. З. - Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул
Стрыгин, В. З. - Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул

Экз. чит. зала
Книга
Автор: Стрыгин, В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул : Препринт N 98
1995 г.
ISBN отсутствует
Автор: Стрыгин, В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул : Препринт N 98
1995 г.
ISBN отсутствует
Книга
УДК 512 С878
Стрыгин, В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул : Препринт N 98 / В. З. Стрыгин, Центральный аэрогидродинам. ин-т им. Н.Е. Жуковского. – 1995. – 7 с.
512 С878
Тезаурус = ГАСНТИ 27.17
Тезаурус = Математика : алгебра
Бр-10982 Кх
УДК 512 С878
Стрыгин, В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул : Препринт N 98 / В. З. Стрыгин, Центральный аэрогидродинам. ин-т им. Н.Е. Жуковского. – 1995. – 7 с.
512 С878
Тезаурус = ГАСНТИ 27.17
Тезаурус = Математика : алгебра
Бр-10982 Кх