Browsing by Author Majstorović, Uroš
Showing results 1 to 5 of 5
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | An automated theorem prover for the probability logic LPP | 2001 | A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.; 79-83 | M63 |
| Ognjanović, Zoran ; Majstorović, Uroš | And-Parallel Prolog for PC-based lans | 1995 | IX Conference on Applied Mathematics, Budva 1994. Institute of Mathematics, PMF Novi Sad, Novi Sad; 337-341 | M63 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | LPP-logic about Probability | 1994 | XXI SYM-OP-IS '94, Kotor 1994.; 179-182 | M63 |
| Ognjanović, Zoran ; Majstorović, Uroš; Stanisavljević,Ivan; Petrović, Vladimir | Multprocesorski multitasking Prolog | 1995 | YUINFO '95, Brezovica 1995.; 196-199 | M63 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Rezonovanje o verovatnoći | 1995 | YUINFO '95, Brezovica 1995.; 227-230 | M63 |