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

Aachener Informatik : Berichte / RWTH. - Aachen. - ISSN 0935-3232. - Текст : непосредственный.
2002-10 : Logics for Mazurkiewicz traces / M.Leucker. - Aachen, 2002. - IV, 176 p. 176 p. : ill

Библиогр.:с. 157-167. Указ.:c. 169-173

ГРНТИ	УДК
50.07	510.285

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

Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА
Имеются экземпляры в отделах: всего -20040120 : ХР (-20040120)
Свободны: ХР (1)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Q/5682/2002-10)

Шифр в сводном ЭК: 6603b00cbfadcfe446882b341387b6d0

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