eNauka - pregled
Pregled prema Autor Kunčak, Viktor
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2001 | Reducibility method for termination properties of typed lambda terms![]() | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
