Математическая логика и автоматическое доказательство теорем

Ч. Чень; Р. Ли

ЦБ 30774

Издателство

Наука

Местоиздаване

Москва

Година на издаване

1983

Страници

359 с.

Класификационен индекс

УДК	Значение
517	Математичен анализ

Отрасъл

Естествени науки

Системен №

59068

Допълнителна сигнатура

Ч 63

Инвентаризация

Статус	Брой
Централна библиотека - хранилище (Цб)	1

Виж още

Чанг Чень; Ричард Ли (1983)

Чень, Ч., Ли, Р. Математическая логика и автоматическое доказательство теорем. Москва: Наука, 1983 359 с.

Чень, Ч., Ли, Р. (1983) Математическая логика и автоматическое доказательство теорем, Москва: Наука 359 с.

Чень, Ч., & Ли, Р. (1983). Математическая логика и автоматическое доказательство теорем. Москва: Наука, 359 с.

Чень Ч, Ли Р. Математическая логика и автоматическое доказательство теорем. Москва: Наука; 1983. p. 359 с.