Стрыгин, В.З. - Полиноминальный алгоритм выявления общезначимости (выполнимости) булевых формул / В. З. Стрыгин. - Москва : ЦАГИ, 1993. - 19 с. : ил.; 21 см. - (Препринт. Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского; N 96).

Экспресс-заказ фрагмента
Стрыгин, В.З.
Полиноминальный алгоритм выявления общезначимости (выполнимости) булевых формул / В. З. Стрыгин. - Москва : ЦАГИ, 1993. - 19 с. : ил.; 21 см. - (Препринт. Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского; N 96).

Функции булевы - Вычисление
Тождественные преобразования алгебраических выражений
Шифр хранения:
FB 3 94-5/182

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеПолиноминальный алгоритм выявления общезначимости (выполнимости) булевых формул
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 27.02.2002
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиВ. З. Стрыгин
Выходные данныеМосква : ЦАГИ, 1993
Физическое описание19 с. : ил.; 21 см
Серия(Препринт. Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского; N 96)
Термины-указателиФункции булевы - Вычисление
Тождественные преобразования алгебраических выражений
ЯзыкРусский
Места храненияFB 3 94-5/182