ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Стрыгин В. З. - Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул
Стрыгин В. З. - Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул
Книга
Автор: Стрыгин В. З.
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул : Препринт 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 Кх