Вы здесь

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.82-97.
Библиография: 
Bibliogr.: p.96-97
Том: 
1784
Карточка: 

Б2.33.

Damiani F..

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection// Lecture Notes in Computer Science-2000.-Vol. 1784.-P.82-97.
Bibliogr.: p.96-97

Таблица в старой библиотеке: 
PAP21 255