Istraživači
Kašterović, Simona
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |