Izjavni in predikatni račun by Oddelek za matematiko in računalništvo | Jul 8, 2016 | Diplomske seminarske Avtor: Petra Kores Mentor: dr. Andrej Taranenko Somentorica: dr. Polona Repolusk
