Истраживачи
Marić, Filip
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2015 | A Survey of Interactive Theorem Proving (✓) | Marić, Filip ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |