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

Моногр.

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

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

Б81976

Детайли

Издателство

Наука

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

Москва

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

1983

Страници

360 с. с черт.

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

УДК	Значение
ОА9	ОА9 --> от ISIS без текст

Допълнителна информация

Отрасъл

Математ. науки. ЕИМ

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

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

Действия

MLA (7th edition) Chicago / Turabian (16th edition) Harvard

ЧЕНЬ, Ч., , Под ред. С. Ю. Маслова ; Пер. с англ. Г. В. Давыдо, Ли, Р., Мень, Ч. Математическая логика и автоматическое доказательство теорем, Наука, 1983, 360 с. с черт..

ЧЕНЬ, Ч., , Под ред. С. Ю. Маслова ; Пер. с англ. Г. В. Давыдо, Ли, Р., Мень, Ч.. Математическая логика и автоматическое доказательство теорем. Москва: Наука, 1983, 360 с. с черт..

ЧЕНЬ, Ч., , Под ред. С. Ю. Маслова ; Пер. с англ. Г. В. Давыдо, Ли, Р., Мень, Ч. (1983) Математическая логика и автоматическое доказательство теорем, Москва: Наука, 360 с. с черт.