Istraživači
Janičić, Predrag
Godina
Rezultati 61-61 od 61
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1999 | A framework for the flexible integration of a class of decision procedures into theorem provers | Janičić, Predrag   ; Bundy, A.; Green, I. | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |