eNauka - pregled
Pregled prema Autor Gilezan, Silvia
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1993 | Tipovi sa presekom u računu lambda i logici | Gilezan, Silvia | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |