Шубин, Игорь Юрьевич - Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11

Карточка

Шубин, Игорь Юрьевич.

Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 05.13.11 / Харьк. ин-т радиоэлектроники им. М. К. Янгеля. - Харьков, 1990. - 21 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
FB 9 90-4/2576-6
FB 9 90-4/2577-4

Marc21

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

Показать

Описание

Автор
ЗаглавиеМетоды минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат дис. ... кандидата технических наук : 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