Schmellenkamp, Marko

1. Iltis: Learning Logic in the Web
   2021/05/12 by Gaetano Geck, Geck, Gaetano, Christine Quenkert +11 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Tool-Assisted Learning of Computational Reductions
   2024/07/25 by Kneisel, Tristan, Radtke, Elias, Schmellenkamp, Marko +2 · 1 citation
   #Computers and Society (cs.CY) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)