Приказ селектованог записа
Теза или дисертација
Аутор: Ivetić Jelena
Оригинални језик наслова: Енглески
Оригинални наслов: Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
Врста тезе/дисертације: Докторска дисертација
Институција: Fakultet tehničkih nauka u Novom Sadu, Univerzitet u Novom Sadu
Година: 2013
Преузми: link
Нема записа зависних од селектованог записа