Полное описание
> Nerode, A. Logic for applications / A.Nerode,R.A.Shore. - New York [etc.] : Springer, 1993. - XVII,365 p. p. : ill. - (Texts and monographs in computer science). - ISBN 0-387-94129-0. - Текст : непосредственный.
Библиогр.:с.329-354.Указ.:с.355-365
ГРНТИ | УДК | |
50.05.03 | 510 | |
004.42.047 |
Рубрики:
Математическая логика
Программирование для ЭВМ логическое
Доп. точки доступа:
Shore, R.A.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/25791)>
Шифр в сводном ЭК: 4d6ae64eaeb85d4f0abaa20ac553ac4a
Заказ фрагмента документа ₽