1 - 2 / 2 1 |
1. Preverjenje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, bachelor thesis/paper Keywords: odvisni tipi, pravilnost programov, programski jezik Idris |
2. Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, undergraduate thesis Keywords: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge |