еНаука - преглед
Преглед према Аутор Miodrag Kapetanović
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2010 | Semantic Tableaux Method and its Applications in Automated Theorem Provers in Logical Systems | Krapež, Aleksandar   ; Miodrag Kapetanović | Конференцијски рад | Мп категорија ће бити приказана накнадно. |