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 | Article | 21M21 |