Вы здесь

Types for Proofs and Programs: Revised Selected Papers/ International Workshop, TYPES 2003. Torino,Haly,April/May 2003

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

Б2.23, Б2.1.

Types for Proofs and Programs: Revised Selected Papers/ International Workshop, TYPES 2003. Torino,Haly,April/May 2003Ed. by Berardi S., Coppo M., Damiani F..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3085.-409 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO4 903