Шубин, Игорь Юрьевич - Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11
Карточка
Экспресс-заказ фрагмента
Шубин, Игорь Юрьевич.
Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11 / Харьк. ин-т радиоэлектроники им. М. К. Янгеля. - Харьков, 1990. - 21 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11 / Харьк. ин-т радиоэлектроники им. М. К. Янгеля. - Харьков, 1990. - 21 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 90-4/2576-6
FB 9 90-4/2577-4
Описание
Автор | Шубин, Игорь Юрьевич |
---|---|
Заглавие | Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11 |
Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
Дата поступления в ЭК РГБ | 12.06.1990 |
Каталоги | Авторефераты диссертаций |
Сведения об ответственности | Харьк. ин-т радиоэлектроники им. М. К. Янгеля |
Выходные данные | Харьков, 1990 |
Физическое описание | 21 с. |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей |
BBK-код | З973.233.02-01с11,0 |
Специальность | 05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей |
Язык | Русский |
Места хранения | FB 9 90-4/2576-6 |
FB 9 90-4/2577-4 |