Вы здесь
Typed Lambda Calculi and Applications: Proc./Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 93. March 1993, Utrecht, The Netherlands
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1993
Ключевые слова:
Стр.:
433 p.
Редактор:
Место издания:
Издательство:
Том:
664
Карточка:
Б2.13, Б2.14, Б1.3.
Typed Lambda Calculi and Applications: Proc./Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 93. March 1993, Utrecht, The NetherlandsEd. by Bezem M., Groote J. F..-Berlin, Heidelberg.: Springer, 1993.-Vol. 664.-433 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO1 409