Learning Tree Pattern Transformations
Neider, Daniel, Sabellek, Leif, Schmidt, Johannes, Vehlken, Fabian, Zeume, Thomas
Year of Publication 10.10.2024
Year of Publication 10.10.2024
Get full text
Journal Article
Tool-Assisted Learning of Computational Reductions
Kneisel, Tristan, Radtke, Elias, Schmellenkamp, Marko, Vehlken, Fabian, Zeume, Thomas
Year of Publication 25.07.2024
Year of Publication 25.07.2024
Get full text
Journal Article
Learning Tree Pattern Transformations
Neider, Daniel, Sabellek, Leif, Schmidt, Johannes, Vehlken, Fabian, Zeume, Thomas
Published in arXiv.org (10.10.2024)
Get full text
Published in arXiv.org (10.10.2024)
Paper
Tool-Assisted Learning of Computational Reductions
Kneisel, Tristan, Radtke, Elias, Schmellenkamp, Marko, Vehlken, Fabian, Zeume, Thomas
Published in arXiv.org (04.10.2024)
Get full text
Published in arXiv.org (04.10.2024)
Paper
Iltis: Learning Logic in the Web
Geck, Gaetano, Quenkert, Christine, Schmellenkamp, Marko, Schmidt, Jonas, Tschirbs, Felix, Vehlken, Fabian, Zeume, Thomas
Year of Publication 12.05.2021
Year of Publication 12.05.2021
Get full text
Journal Article
Iltis: Learning Logic in the Web
Geck, Gaetano, Quenkert, Christine, Schmellenkamp, Marko, Schmidt, Jonas, Tschirbs, Felix, Vehlken, Fabian, Zeume, Thomas
Published in arXiv.org (27.05.2022)
Get full text
Published in arXiv.org (27.05.2022)
Paper
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic
Geck, Gaetano, Ljulin, Artur, Sebastian, Peter, Schmidt, Jonas, Vehlken, Fabian, Zeume, Thomas
Published in arXiv.org (04.04.2018)
Published in arXiv.org (04.04.2018)
Get full text
Paper
Journal Article