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

Walther Neuper

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Neuper, W. (2001). A’calculemus-approach’ to high-school math? In Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning (pp. ?-?). ..

A’calculemus-approach’ to high-school math? / Neuper, Walther.

Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning. ., 2001. p. ?-?.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Neuper, W 2001, A’calculemus-approach’ to high-school math? in Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning. ., pp. ?-?, Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning, Siena, Italy, 21/06/01.
Neuper W. A’calculemus-approach’ to high-school math? In Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning. . 2001. p. ?-?
Neuper, Walther. / A’calculemus-approach’ to high-school math?. Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning. ., 2001. pp. ?-?
@inproceedings{2df76c1cb834413c8c893bd9eb774789,
title = "A’calculemus-approach’ to high-school math?",
author = "Walther Neuper",
year = "2001",
language = "English",
pages = "?--?",
booktitle = "Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning",
publisher = ".",

}

TY - GEN

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

AU - Neuper, Walther

PY - 2001

Y1 - 2001

M3 - Conference contribution

SP - ?-?

BT - Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning

PB - .

ER -