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

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

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