Математическая логика и автоматическое доказательство теорем/Чень, Ч.

 

QR-код документа

Оценок: 0

510 Ч-438
Чень, Ч.
    Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной. - Москва : Наука, 1983. - 358 c. : ил. - (Математическая логика и основания математики). - Библиогр. в конце гл.

УДК
510.6

Кл.слова (ненормированные):
математическая логика -- доказательство теорем -- логика высказываний -- Эрбрана теорема -- линейная резолюция -- математические теоремы -- математика
Доп.точки доступа:
Ли, Р.
Давыдов, Г. В. \пер.\
Минц, Г. Е. \пер.\
Сочилина, А. В. \пер.\

Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)

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