Истраживачи
Janičić, Predrag
Година
Резултати 61-61 од 61
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1999 | A framework for the flexible integration of a class of decision procedures into theorem provers | Janičić, Predrag   ; Bundy, A.; Green, I. | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |