Полное описание

Gallier, J. H. Logic for computer science : foundations of automatic theorem proving / J.H.Gallier. - Cambridge, Ma [etc.] : Harper a. Row, 1986. - XV,511 p. p. - (Harper and Row computer science and technology series). - ISBN 0-06-042225-4. - Текст : непосредственный.
Библиогр.:c.489-493.Указ.:c.495-511

ГРНТИ	УДК
50.07	510.285

Рубрики:
Математическая логика -- Применение в вычислительной технике

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/22126)

Шифр в сводном ЭК: 0cd667b2e0d3b2bd8b0665493e63d345

Заказать издание
Заказ фрагмента документа ₽