Автореферат
РЕФ 156434

Тимофєєв, Валентин Георгійович.
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу : автореф. дис ... канд. фіз.-мат. наук / В. Г. Тимофєєв. – Київ, 2013. – 19 с.

ББК з8/9

Предметні рубрики = Энергетика, радиоэлектроника

1621551 ОФ