Suche
Kategorie
JGU Mainz (85458)
HS Koblenz (5530)
5530 Treffer
×
Hochschule Koblenz
- Eisermann, Dagmar; Moahloli, Tselisio
- ARCHITECTURE FOR DEVELOPMENT GERMAN - SOUTH AFRICAN INTERNTIONAL STUDIO '19 workshop - a station for a daily hazard
- Koblenz: Eigenverlag, E-Book, https://cloud.hs-koblenz.de/s/JKtRH2J6zPjWfFb 2019 76 S.
- Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
- Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor
- User Interfaces for Theorem Provers (UITP) : 9th April 2005. Edinburgh, Scotland. 2005 24 S.
- Benzmüller, Christoph; Fiedler, Armin; Gabsdil, Malte et al.
- A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics
- Aleven, Vincent (Hrsg). AIED 2003 : Supplementary Proceedings of the 11th International Conference on Artificial Intelligence in Education. Sydney: Univ. of Sydney 2003 S. 471 - 481
- Benzmüller, Christoph; Fiedler, Armin; Gabsdil, Malte et al.
- Language Phenomena in Tutorial Dialogs on Mathematical Proofs
- DiaBruck 2003 : proceedings of the 7th workshop on The semantics and pragmatics of dialogue ; 4-6 September 2003, Wallerfangen. Wallerfangen: Universität des Saarlandes 2003 S. 165 - 166
- Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas et al.
- Irrationality of √2 : A Case Study in Omega
- SEKI-Report. Bd. 2001. Bremen: DFKI 2002 S. 1 - 103 SR-02-03
- Fiedler, Armin
- Determining and Structuring the Content of Presentations of Proofs in Natural Language
- McAllester, David (Hrsg). Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction ; June 17-20, 2000 ; Proceedings. Pittsburgh, PA, USA. 2000 S. 41 - 51 Workshop: Automated Deduction in Education (Melis, Erica)
- Schneider, Armin
- Kindertagespflege in der Corona-Krise : Licht und Schatten
- Kita aktuell : Fachzeitschrift für die Leitung von Kindertageseinrichtungen ; Hessen, Rheinland-Pfalz, Saarland. Bd. 29. H. 3. Köln: Carl Link 2021 S. 78 - 80
- Remsperger-Kehm, Regina; Botzum, Edeltraud
- Organisationale Veränderungsprozesse gestalten und gesundheitsfördernde Strukturen entwickeln
- Köln: Link 2021
- Wolters, C. H.; Hartmann, Ulrich; Koch, M. et al.
- New Methods For Improved And Accelerated Fe-Volume Conductor Modelling In Eeg/meg-Source Reconstruction
- o.A. 2007 6 S.
- Lentjes, Marco; Dickmann, Klaus; Meijer, Johan et al.
- Prozessüberwachung beim Laserreinigen und Laserschichtabtrag durch Anwendung der Plasmaanalyse mittels "low resolution" Spektrometer
- o.A. 2005 6 S.