Heinrich Zimmermann

According to our database, Heinrich Zimmermann authored at least 3 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Let the End User in Peace: UX and Usability Aspects Related to the Design of Tutoring Systems.

Juliano Efson Sales, Katerina Tzafilkou, Adamantios Koumpis, Thomas Gees, Heinrich Zimmermann, Nicolaos Protogeros, Siegfried Handschuh

Proceedings of the Intelligent Tutoring Systems - 16th International Conference, 2020

2010

Text-Mining-Methoden im Semantic Web.

Gerold Schneider, Heinrich Zimmermann

HMD Prax. Wirtsch., 2010

1996

Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.

Alain Heuerding, Michael Seyfried, Heinrich Zimmermann

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996