Logical Modelling in CS Education: Bridging the Natural Language Gap.

Tristan Kneisel, Fabian Vehlken, Thomas Zeume

Browse the full AIED paper archive.