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

 

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

Бағалар: 0

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

ББК 22.12

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

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

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

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

Открыть карточку электронного документа
Авторизуйтесь для получения дополнительных услуг

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

Алгоритмы структуры данных [Электронный ресурс] /Гагарина, Л.Г.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] /Верещагин, Н.
Основы теоретической логики [Электронный ресурс] /Гильберт, Д.
Логика [Электронный ресурс] /Горбатов, В.В.
Языки исчисления [Электронный ресурс] /Верещагин, Н.К.