Шубин, Игорь Юрьевич. - Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11 / Харьк. ин-т радиоэлектроники им. М. К. Янгеля. - Харьков, 1990. - 21 с.
Карточка
Экспресс-заказ фрагмента
Шубин, Игорь Юрьевич.
Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 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 |
