Полное описание
>
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 : 28655 р. - Текст : непосредственный.
Библиогр.:с.329-354.Указ.:с.355-365
ГРНТИ | УДК | |
50.05.03 | 510 | |
004.42.047 |
Рубрики:
Математическая логика
Программирование для ЭВМ логическое
Доп. точки доступа:
Shore, R.A.
>
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:
Заказ фрагмента документа ₽