A’calculemus-approach’ to high-school math?

Walther Neuper

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCalculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning
Publisher.
Pages?-?
Publication statusPublished - 2001
EventCalculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning - Siena, Italy
Duration: 21 Jun 200122 Jun 2001

Conference

ConferenceCalculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning
CountryItaly
CitySiena
Period21/06/0122/06/01

Cite this