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

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

https://e-lib.dulaty.kz/kk/lib/document/SK_ELIB/096859BD-24E3-4F4C-BA02-D0E219C310B3/

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

ББК 22.12

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

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

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

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

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