1 - 2 / 2 1 |
1. Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu Tomaž Stepišnik Perdih, 2013, undergraduate thesis Keywords: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika |
2. Razdalje na strukturiranih podatkih Tomaž Stepišnik Perdih, 2016, master's thesis Keywords: umetna inteligenca, najbližji sosedje, strukturirani podatki, razdalje na podatkih |