Организације



Филтрирано по:
Мп-кат.:  M70
Година:  [1990 TO 1999]
Година:  1993

Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1993Intersection types in lambda calculus and logicGilezan, Silvia  Докторска дисертација
70M70 - Одбрањена докторска дисертација