Вы здесь

Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2009
Стр.: 
417 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
5608
Карточка: 

Б2.2, В2.11.

Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009/Ed. by Curien P. -L..-Berlin.: Springer, 2009.-Vol. 5608.-417 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 898