Browsing by Author Petrović, Vladimir
Showing results 1 to 4 of 4
| 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 |
| 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 |