Вы здесь

Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 93. Nijmegen, The Netherlands, May 1993

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

Б2.1, Б2.23, Б2.33, В2.11.

Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 93. Nijmegen, The Netherlands, May 1993Ed. by Barendregt H., Nipkow T..-Berlin, Heidelberg.: Springer, 1994.-Vol. 806.-383 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO1 624