Вы здесь
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