Вы здесь
Types for Proofs and Programs: Selected Papers/ International Workshop,TYPES 99. Lokeberg,Sweden,June 1999
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2000
Ключевые слова:
Стр.:
195p.
Редактор:
Место издания:
Издательство:
Том:
1956
Карточка:
Б2.23, Б2.14, Б2.33, В2.11.
Types for Proofs and Programs: Selected Papers/ International Workshop,TYPES 99. Lokeberg,Sweden,June 1999Ed. by Coquand Th., Dybjer P., Nordstrom B., Smith J..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1956.-195p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO3 489