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

Ч. Чень; Р. Ли
Пер. с англ.: Г. В. Давыдова; Под ред.: С. Ю. Маслова

Цб II 57739

Отрасъл

Математика. Естествени науки

Системен №

52063

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

Ч 63

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

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

Подобни

Григорий Аркадьевич Зингер; А. Д. Пархачев (1984)

А. Пезенти

А. Пезенти

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

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

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

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