Publication
Erica Melis
In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.
@incollection{pub1967, author = { Melis, Erica }, editor = { Hutter, Dieter and Stephan, Werner }, title = {Why Proof Planning for Maths Education and How?}, booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday}, series = {LNCS}, year = {2005}, volume = {2605}, pages = {364--376}, publisher = {Springer-Verlag} }
© DFKI, 2023