Browsing by Author Timotijević, Tatjana
Showing results 1 to 1 of 1
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Ognjanović, Zoran ; Timotijević, Tatjana | On two approaches to modal theorem proving | 2000 | Novi Sad Journal of Mathematics; 30(2); 83-93 | M24 |