Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
647 Publications
2002 | Journal Article | LibreCat-ID: 26826
Reiss, K., Hellmich, F., & Thomas, J. (2002). Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift für Pädagogik, 45, 51–64. https://doi.org/10.25656/01:3938
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 26827
Hellmich, F., & Hartmann, J. (2002). Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule. In W. Peschek (Ed.), Beiträge zum Mathematikunterricht 2002 (pp. 211–214). Franzbecker.
LibreCat
2002 | Book Chapter | LibreCat-ID: 26831
Hellmich, F., Hartmann, J., & Reiss , K. (2002). Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I. In W. Peschek (Ed.), Beiträge zum Mathematikunterricht 2002 (pp. 231–234). Franzbecker.
LibreCat
2002 | Book Chapter | LibreCat-ID: 26835
Reiss, K., Hellmich, F., & Reiss, M. (2002). Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students. In A. D. Cockburn & E. Nardi (Eds.), Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education (pp. 113–120). University of East Anglia.
LibreCat
2002 | Journal Article | LibreCat-ID: 26838
Hellmich, F., & Hartmann, J. (2002). Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern. Zentralblatt für Didaktik der Mathematik, 34(2), 56–61.
LibreCat
2002 | Book | LibreCat-ID: 26842
Hellmich, F., Reiss, K., & Thomas, J. (2002). Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG. Carl von Ossietzky Universität Oldenburg.
LibreCat
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379). https://doi.org/10.1007/978-3-540-39656-7_15
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs & A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands (pp. 79--93).
LibreCat
2002 | Book | LibreCat-ID: 3645
Harteis, C. (2002). Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler.
LibreCat