Lupa

Statistika RUP

A- | A+ | Natisni

Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.

Magistrska dela (1)

  1. Aleksandar Avdalović: Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanja
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici