Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
          Пынько, А. П.
    Алгебразуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько
    // Доповіді НАНУ. – 2005. – № 3. – 66-71.

  УДК 510.6


            



Теми документа
Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'