eNauka - pregled
Pregled prema Autor Miodrag Kapetanović
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2010 | Semantic Tableaux Method and its Applications in Automated Theorem Provers in Logical Systems | Krapež, Aleksandar   ; Miodrag Kapetanović | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |