Researchers
Ognjanović, Zoran
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran | Article | 23M23 |
1990 | Approach to the modeling of the highest control level of flexible manufacturing cell | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Article | 23M23 |