Математическая логика и автоматическое доказательство теорем [Электронный ресурс] /Чень, Ч.

 

QR-код құжаттың

Бағалар: 0

22.12
Ч-43

Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Электронный ресурс] / Ч. Чень, Р. Ли. - М. : Наука, 1983. - 179 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
группы -- определение групп -- группы Ли -- Алгебры Ли

Доп.точки доступа:
Ли, Р.

Жіктеу бойынша ұқсас басылымдар