TY  - GEN
AU  - Седов,Юрий Владимирович
AU  - Николаева,Екатерина Александровна
TI  - Некоторые оценки метода минимизации систем ДНФ путем выделения ядер и соядер
KW  - программные средства
KW  - аппаратные средства
KW  - труды ученых ТГУ
KW  - логические сети
N1  - Библиогр.: 2 назв
ER  -