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

Ebinger, W. Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken : Diss. / W.Ebinger. - Stuttgart, 1994. - 87 S. : Ill. - Текст : непосредственный.
Библиогр.:с.77-83.Указ.:с.85-87

ГРНТИ	УДК
50.05.13	004.42(043)

Рубрики:
Программирование для ЭВМ

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/19032)

Шифр в сводном ЭК: 4c6aa09b8cde7d009a6a9fca3b04080b

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