Вы здесь

Typed Lambda Calculi and Applications: Proc./Second Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 95. Edinburgh, United Kingdom, April 1995

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

Б2.13, Б2.14.

Typed Lambda Calculi and Applications: Proc./Second Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 95. Edinburgh, United Kingdom, April 1995Ed. by Dezani-Ciancaglini M., Plotkin G..-Berlin, Heidelberg.: Springer, 1995.-Vol. 902.-443 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO1 789