Florina Mihaela Piroi, DI. Dr.

Working area: Theorem Proving, Symbolic Computation

Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria