FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Towards Graphical Feedback in the DiMo Learning Tool

Maurice Herwig, Norbert Hundeshagen and Martin Lange

SIVA: Simulation and Visualization of the DL Tableau Algorithm

Peter Paulovics, Júlia Pukancová and Martin Homola
Total: 2 presentations.