Вы здесь

Typed Lambda Calculi and Applications: Proc./7th International Conference, TLCA 2005. Nara, Japan, April 2005

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

Б2.14.

Typed Lambda Calculi and Applications: Proc./7th International Conference, TLCA 2005. Nara, Japan, April 2005/Ed. by Urzyczyn P..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3461.-433 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO5 256