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

J2/22126
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 : 23.82 р. - Текст : непосредственный.
Библиогр.:c.489-493.Указ.:c.495-511

ГРНТИ	УДК
50.07	510.285

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

Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:

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