еНаука - преглед
Преглед према Аутор Gilezan, Silvia
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1993 | Tipovi sa presekom u računu lambda i logici | Gilezan, Silvia | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |