Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова

Автор(ы): Чень, Ч.;
                   Ли, Р.;
                   Давыдов, Геннадий Владимирович, кандидат технических наук;
                   Минц, Г. Е.;
                   Сочилина, А. В.;
                   Маслов, С. Ю.Язык документа: Русский ; of original work,Английский.Страна публикации: RU.Издательство: Москва : Наука, 1983Физическая характеристика: 358 с. ; 22 смББК: 22.122Наименование темы, используемое как предмет: ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ | МАТЕМАТИКА | ЛОГИКА | ТЕОРЕМЫ | ДОКАЗАТЕЛЬСТВА (мат. логика) | ТЕОРЕМЫ | МАТЕМАТИЧЕСКАЯ ЛОГИКА | МАТЕМАТИЧЕСКИЕ НАУКИ
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
Витебская областная библиотека. Отдел хранения основного фонда
Выдается

8500 экз.

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: