Suche
Kategorie
JGU Mainz (85458)
HS Koblenz (5530)
5530 Treffer
×
Hochschule Koblenz
- Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
- Proof Development with Ωmega : The Irrationality of √2
- Kamareddine, Fairouz D. (Hrsg). Thirty Five Years of Automating Mathematics. Dordrecht: Springer 2003 S. 271 - 314 (Applied Logic Series ; 28)
- Fiedler, Armin
- Natural Language Proof Explanation
- Hutter, Dieter; Stephan, Werner (Hrsg). Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlin: Springer 2005 S. 342 - 363 (Lecture Notes in Computer Science (LNCS) ; 2605 / Lecture Notes in Artificial Intelligence (LNAI) ; 2605)
- Fiedler, Armin
- User-adaptive proof explanation
- Saarbrücken: universaar 2001 233 Seiten
- Tsovaltzi, Dimitra; Fiedler, Armin; Horacek, Helmut
- A Multi-dimensional Taxonomy for Automating Hinting
- Lester, James C.; Vicari, Rosa Maria; Paraguaçu, Fábio (Hrsg). Intelligent Tutoring Systems : 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004. Proceedings. Berlin: Springer 2004 S. 772 - 781 (Lecture Notes in Computer Science (LNCS) ; 3220)
- Fiedler, Armin; Gabsdil, Malte; Horacek, Helmut
- A Tool for Supporting Progressive Refinement of Wizard-of-Oz Experiments in Natural Language
- Lester, James C.; Vicari, Rosa Maria; Paraguaçu, Fábio (Hrsg). Intelligent Tutoring Systems : 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004. Proceedings. Berlin: Springer 2004 S. 325 - 335 (Lecture Notes in Computer Science (LNCS) ; 3220)
- Fiedler, Armin
- Mikroplanungstechniken zur Präsentation mathematischer Beweise
- Saarbrücken: Fachbereich Informatik; Universität des Saarlandes 1996 103 S.
- Fiedler, Armin
- Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs.
- INLG. 1998 S. 88 - 97
- Fiedler, Armin
- P.rex : An Interactive Proof Explainer
- Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias (Hrsg). Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. Berlin: Springer 2001 S. 416 - 420 (Lecture Notes in Computer Science (LNCS) ; 2083)
- Weber, I.; Jenal, A.; Kneer, C. et al.
- Gyrocopter-based Remote Sensing Platform
- ISPRS International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences. Bd. XL-7/W3. Katlenburg-Lindau: Copernicus 2015 S. 1333 - 1337
- Weber, I.; Jenal, A.; Kneer, C. et al.
- PANTIR : a dual camera setup for precise georeferencing and mosaicing of thermal aerial images
- ISPRS International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences. Bd. XL-3/W2. Katlenburg-Lindau: Copernicus 2015 S. 269 - 272