%0 Conference Paper %1 journals/corr/abs-2010-16014 %A From, Asta Halkjær %A Villadsen, Jørgen %A Blackburn, Patrick %B ThEdu@IJCAR %D 2020 %E Quaresma, Pedro %E Neuper, Walther %E Marcos, João %K dblp %P 18-34 %T Isabelle/HOL as a Meta-Language for Teaching Logic. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs328.html#abs-2010-16014 %V 328

@inproceedings{journals/corr/abs-2010-16014, added-at = {2023-06-26T00:00:00.000+0200}, author = {From, Asta Halkjær and Villadsen, Jørgen and Blackburn, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/27f6ec75f5367448817accb9d8d79c62e/dblp}, booktitle = {ThEdu@IJCAR}, crossref = {journals/corr/abs-2010-15832}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, João}, ee = {https://arxiv.org/abs/2010.16014}, interhash = {74ebb240c6f43c40d756a2280471d65e}, intrahash = {7f6ec75f5367448817accb9d8d79c62e}, keywords = {dblp}, pages = {18-34}, series = {EPTCS}, timestamp = {2024-04-09T09:29:44.000+0200}, title = {Isabelle/HOL as a Meta-Language for Teaching Logic.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs328.html#abs-2010-16014}, volume = 328, year = 2020 }