| 1993 |
|---|
| 3 | | Nenad Kircanski,
Tatjana Petrovic,
Miomir Vukobratovic:
A Parallel Computer Architecture for Real-Time Control Applications in Grasping and Manipulation.
ICRA (2) 1993: 410-415 |
| 1992 |
|---|
| 2 | | Aleksandar Krapez,
Miodrag Kapetanovic,
Zoran Ognjanovic,
Tatjana Petrovic:
Prover 91 - A Parallel Theorem Prover (Extended Abstract).
TABLEAUX 1992: 43-45 |
| 1 | | Zoran Ognjanovic,
Dragan Urosevic,
Tatjana Petrovic,
Zorana Ristovic:
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).
TABLEAUX 1992: 61-63 |
