%0 Conference Paper %1 conf/iticse/GeckLHMSSSTVZ19 %A Geck, Gaetano %A Ljulin, Artur %A Haldimann, Jonas %A May, Johannes %A Schmidt, Jonas %A Schmellenkamp, Marko %A Sonnabend, Daniel %A Tschirbs, Felix %A Vehlken, Fabian %A Zeume, Thomas %B ITiCSE %D 2019 %E Scharlau, Bruce %E McDermott, Roger %E Pears, Arnold %E Sabin, Mihaela %I ACM %K dblp %P 307 %T Teaching Logic with Iltis: an Interactive, Web-Based System. %U http://dblp.uni-trier.de/db/conf/iticse/iticse2019.html#GeckLHMSSSTVZ19 %@ 978-1-4503-6301-3

@inproceedings{conf/iticse/GeckLHMSSSTVZ19, added-at = {2023-03-21T00:00:00.000+0100}, author = {Geck, Gaetano and Ljulin, Artur and Haldimann, Jonas and May, Johannes and Schmidt, Jonas and Schmellenkamp, Marko and Sonnabend, Daniel and Tschirbs, Felix and Vehlken, Fabian and Zeume, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2973367ac717d163b6c82c59c6c235c6f/dblp}, booktitle = {ITiCSE}, crossref = {conf/iticse/2019}, editor = {Scharlau, Bruce and McDermott, Roger and Pears, Arnold and Sabin, Mihaela}, ee = {https://doi.org/10.1145/3304221.3325571}, interhash = {d9bfc81af0bc38bcb739d7af5d4a66f1}, intrahash = {973367ac717d163b6c82c59c6c235c6f}, isbn = {978-1-4503-6301-3}, keywords = {dblp}, pages = 307, publisher = {ACM}, timestamp = {2024-04-09T15:51:26.000+0200}, title = {Teaching Logic with Iltis: an Interactive, Web-Based System.}, url = {http://dblp.uni-trier.de/db/conf/iticse/iticse2019.html#GeckLHMSSSTVZ19}, year = 2019 }