Aleksandar Krapez
According to our database1,
Aleksandar Krapez
authored at least 6 papers
between 1987 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2012
Proceedings of the ICT Innovations 2012, 2012
Proceedings of the ICT Innovations 2012, 2012
Proceedings of the FUZZ-IEEE 2012, 2012
1992
Prover 91 - A Parallel Theorem Prover (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
1987
Notre Dame J. Formal Log., 1987