Publikationsdetails

Zitat:	R. Vajda, Zoltan Kovács, "GeoGebra and the realgeom Reasoning Tool" : Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020, Serie CEUR Workshop Proceedings, 2020, ISSN: 1613-0073
Original Titel:	GeoGebra and the realgeom Reasoning Tool
Sprache des Titels:	Englisch
Original Buchtitel:	Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
Serie:	CEUR Workshop Proceedings
Erscheinungsjahr:	2020
ISSN:	1613-0073
Anzahl der Seiten:	16
Notiz zur Publikation:	Series ISSN: 1613-0073
Reichweite:	international
Publikationstyp:	Aufsatz / Paper in Tagungsband (nicht-referiert)
Autoren:	R. Vajda, Zoltan Kovács
Forschungseinheiten:	Abteilung für MINT Didaktik

Wissenschaftsgebiete:	Erziehungswissenschaften (ÖSTAT:503) Didaktik (ÖSTAT:503007) E-Learning (ÖSTAT:503008) Fachdidaktik Naturwissenschaften (ÖSTAT:503013) Fachdidaktik Technische Wissenschaften (ÖSTAT:503015) Lehr- und Lernforschung (ÖSTAT:503032)

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum