Honosítás adatlap
Vajda, Róbert
honosító intézmény
honosítás dátuma
2009-12-17
oklevél dátuma
2009-07-03
fokozatot kiadó intézmény
Johannes Kepler Universitat Linz
Ausztria, Linz
értekezés címe
Supporting exprolation in elementary analysis by computational, graphical and reasoning tools