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.
2331 Publications
2019 | Journal Article | LibreCat-ID: 56255
Kempen L, Biehler R. Fostering first-year pre-service teachers’ proof competencies. ZDM. 2019;51(5):731-746. doi:10.1007/s11858-019-01035-x
LibreCat
| DOI
| Download (ext.)
2019 | Book Chapter | LibreCat-ID: 56256
Lankeit E, Biehler R. Vorstellung einer Aufgabe zu den Zusammenhängen verschiedener Differenzierbarkeitsbegriffe im Mehrdimensionalen. In: Klinger M, Schüler-Meyer A, Wessel L, eds. Hanse-Kolloquium Zur Hochschuldidaktik Der Mathematik 2018. WTM-Verlag; 2019:117-131.
LibreCat
2019 | Book Chapter | LibreCat-ID: 56188
Fäßler P, Staffel F. Einleitung . In: Fäßler P, Neuwöhner A, Staffel F, eds. Briten in Westfalen : Besatzer, Verbündete, Freunde?. Ferdinand Schöningh; 2019:1-5.
LibreCat
2019 | Book (Editor) | LibreCat-ID: 49450
Staffel F, Fäßler P, Neuwöhner A, eds. Briten in Westfalen. Besatzer, Verbündete, Freunde?; 2019. doi: 10.15463/rec.1098248118
LibreCat
| DOI
2019 | Working Paper | LibreCat-ID: 56297
Baumgarten D, Lehwald S. Trade Exposure and the Decline in Collective Bargaining: Evidence from Germany.; 2019.
LibreCat
2019 | Book Chapter | LibreCat-ID: 56378
Sandoval M, Littler J. Creative Hubs: A Co-operative Space? In: Dynamics of Virtual Work. Springer International Publishing; 2019. doi:10.1007/978-3-030-10653-9_8
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 56367
Sandoval M. Entrepreneurial Activism? Platform Cooperativism Between Subversion and Co-optation. Critical Sociology. 2019;46(6):801-817. doi:10.1177/0896920519870577
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over temporal and inconsistent data. Semantic Web. 2019;10(3):475–521. doi:10.3233/SW-180337
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Lecture Notes in Computer Science. Springer; 2019:1–14. doi:10.1007/978-3-030-22102-7_1
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:10.1007/978-3-030-34968-4_11
LibreCat
| DOI