Publikationsdetails

Zitat:	Zoltan Kovács, T. Recio, Csilla Sólyom-Gecse, "Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers" , in Julien Narboux; Pascal Schreck; Elena Streinu: Proceedings of ADG 2016, Seite(n) 137-143, 2016
Original Titel:	Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers
Sprache des Titels:	Englisch
Original Buchtitel:	Proceedings of ADG 2016
Seitenreferenz:	137-143
Erscheinungsjahr:	2016
Anzahl der Seiten:	7
Reichweite:	international
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Zoltan Kovács, T. Recio, Csilla Sólyom-Gecse
Forschungseinheiten:	Abteilung für MINT Didaktik

Wissenschaftsgebiete:	Erziehungswissenschaften (ÖSTAT:503) Didaktik (ÖSTAT:503007) Fachdidaktik Naturwissenschaften (ÖSTAT:503013)

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