ГПНТБ России - Электронный каталог

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Вход

Я не зарегистрирован

Электронный каталог

страница из

всего найдено записей: 3,

отображать

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009: proceedings / ed. P. Curien, 2009 r=on-line. - Текст : электронный.