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
@article{Reiss_Hellmich_Thomas_2002, title={Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht}, volume={45}, DOI={10.25656/01:3938}, journal={Zeitschrift für Pädagogik}, author={Reiss, Kristina and Hellmich, Frank and Thomas, Joachim}, year={2002}, pages={51–64} }
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 26827
@inbook{Hellmich_Hartmann_2002, place={Hild}, title={Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule}, booktitle={Beiträge zum Mathematikunterricht 2002}, publisher={Franzbecker}, author={Hellmich, Frank and Hartmann, Jens}, editor={Peschek, Werner}, year={2002}, pages={211–214} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 26831
@inbook{Hellmich_Hartmann_Reiss _2002, place={Hildesheim}, title={Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I}, booktitle={Beiträge zum Mathematikunterricht 2002}, publisher={Franzbecker}, author={Hellmich, Frank and Hartmann, Jens and Reiss , Kristina }, editor={Peschek, Werner}, year={2002}, pages={231–234} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 26835
@inbook{Reiss_Hellmich_Reiss_2002, place={Norwich}, title={Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students}, booktitle={Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education}, publisher={ University of East Anglia}, author={Reiss, Kristina and Hellmich, Frank and Reiss, Matthias}, editor={Cockburn, Anne D and Nardi, Elena}, year={2002}, pages={113–120} }
LibreCat
2002 | Journal Article | LibreCat-ID: 26838
@article{Hellmich_Hartmann_2002, title={Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern}, volume={34}, number={2}, journal={Zentralblatt für Didaktik der Mathematik}, author={Hellmich, Frank and Hartmann, Jens}, year={2002}, pages={56–61} }
LibreCat
2002 | Book | LibreCat-ID: 26842
@book{Hellmich_Reiss_Thomas_2002, place={Oldenburg}, title={Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG}, publisher={Carl von Ossietzky Universität Oldenburg}, author={Hellmich, Frank and Reiss, Kristina and Thomas, J}, year={2002} }
LibreCat
2002 | Journal Article | LibreCat-ID: 3241
@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={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}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }
LibreCat
2002 | Book | LibreCat-ID: 3645
@book{Harteis_2002, place={Wiesbaden}, title={Kompetenzfördernde Arbeitsbedingungen}, publisher={Gabler}, author={Harteis, Christian}, year={2002} }
LibreCat