Browsing eNauka
Browsing by Project [MNTR32016]
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2013 | Recursive Boolean Formula Minimization Algorithms for Implication Logic | Teodorović, Predrag   ; Dautović, Staniša ; Malbaša, Veljko | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |