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

Kurz, A. Coalgebras and modal logic for parameterised endofunctors / A.Kurz,D.Pattinson. - Amsterdam : [s. n.], 2000. - 19 p. : ill. - (Report:Software engineering / CWI ; SEN-R0040). - Текст : непосредственный.
Библиогр.:с.18-19

ГРНТИ	УДК
50.07	510.643

Рубрики:
Математическая логика

Доп. точки доступа:
Pattinson, D.

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

Шифр в сводном ЭК: 06cdbda11fd7d06834547737ab5e4a36

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