Вы здесь

Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2006. Nottingham, UK, April 2006

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

Б2.23, В2.11.

Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2006. Nottingham, UK, April 2006Ed. by Altenkirch Th., Mcbride C..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4502.-269 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO6 760