|
Search the dblp DataBase
Tatjana Petrovic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic
A Parallel Computer Architecture for Real-Time Control Applications in Grasping and Manipulation. [Citation Graph (0, 0)][DBLP] ICRA (2), 1993, pp:410-415 [Conf]
- Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic
Prover 91 - A Parallel Theorem Prover (Extended Abstract). [Citation Graph (0, 0)][DBLP] TABLEAUX, 1992, pp:43-45 [Conf]
- Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). [Citation Graph (0, 0)][DBLP] TABLEAUX, 1992, pp:61-63 [Conf]
Search in 0.002secs, Finished in 0.002secs
|