Istraživači



Rezultati 1-1 od 1
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2023A Proof System for Graph (Non)-Isomorphism VerificationBankovic, Milan M  ; Drecun, Ivan  ; Maric, Filip M  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21