- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Beiträge zum Mathematikunterricht 2014, 48. Jahrestagung der Gesellschaft für Didaktik der Mathematik vom 10.03.2014 bis 14.03.2014 in Koblenz
- Classification
-
Erziehung, Schul- und Bildungswesen
- Event
-
Veröffentlichung
- (where)
-
Dortmund
- (who)
-
Universitätsbibliothek Dortmund
- (when)
-
2014
- Creator
-
Platz, Melanie
Niehaus, Engelbert
Dahn, Ingo
Dreyer, Ulrike
- Handle
-
2003/33287
- URN
-
urn:nbn:de:101:1-2016080321196
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Platz, Melanie
- Niehaus, Engelbert
- Dahn, Ingo
- Dreyer, Ulrike
- Universitätsbibliothek Dortmund
Time of origin
- 2014
Other Objects (12)
Mathematical Proof Between Generations
Automated Proof Search: The Aftermath
Proof-checking mathematical texts in controlled natural language
Proof-checking mathematical texts in controlled natural language
Automation of proof by mathematical induction : 24.07. - 28.07.95
Automated feedback for mathematical learning environments
First-order calculi and proof procedures for automated deduction
Mathematical argumentation and proof supporting a complex cognitive skill
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Automated Quality Assessment of Natural Language Requirements
Towards Automated Process Assessment in Software Engineering
Mathematical Proof Between Generations
Automated Proof Search: The Aftermath
Proof-checking mathematical texts in controlled natural language
Proof-checking mathematical texts in controlled natural language
Automation of proof by mathematical induction : 24.07. - 28.07.95
Automated feedback for mathematical learning environments
First-order calculi and proof procedures for automated deduction
Mathematical argumentation and proof supporting a complex cognitive skill
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Automated Quality Assessment of Natural Language Requirements
Towards Automated Process Assessment in Software Engineering
Mathematical Proof Between Generations
Automated Proof Search: The Aftermath
Proof-checking mathematical texts in controlled natural language
Proof-checking mathematical texts in controlled natural language
Automation of proof by mathematical induction : 24.07. - 28.07.95
Automated feedback for mathematical learning environments
First-order calculi and proof procedures for automated deduction
Mathematical argumentation and proof supporting a complex cognitive skill
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Automated Quality Assessment of Natural Language Requirements