Zorana Ristovic

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX (1992)