
QR-код құжаттың
>22.12
Ч-43
Чень, Ч.
Математическая логика и автоматическое доказательство теорем [Электронный ресурс] / Ч. Чень, Р. Ли. - М. : Наука, 1983. - 179 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
группы -- определение групп -- группы Ли -- Алгебры Ли
Доп.точки доступа:
Ли, Р.
Жіктеу бойынша ұқсас басылымдар