I agree that this site is using cookies. You can find further informations here.
X
Betzendahl, Jonas
3  results:
Search for persons X
?
1

Guided Tours in ALeA: Assembling Tailored Educational Dialo..:

, In: Communications in Computer and Information Science; Artificial Intelligence. ECAI 2023 International Workshops,
Betzendahl, Jonas ; Kohlhase, Michael ; Müller, Dennis - p. 397-408 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Learning Support Systems Based on Mathematical Knowledge Ma..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Berges, Marc ; Betzendahl, Jonas ; Chugh, Abhishek... - p. 84-97 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Translating the IMPS Theory Library to MMT/OMDoc:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Betzendahl, Jonas ; Kohlhase, Michael - p. 7-22 , 2018
Link: https://doi.org/10.1007/..
 
1-3