%0 Conference Paper %1 conf/tfm/VilladsenJ21 %A Villadsen, Jørgen %A Jacobsen, Frederik Krogsdal %B FMTea %D 2021 %E Ferreira, João F. %E Mendes, Alexandra %E Menghi, Claudio %I Springer %K dblp %P 117-132 %T Using Isabelle in Two Courses on Logic and Automated Reasoning. %U http://dblp.uni-trier.de/db/conf/tfm/fmtea2021.html#VilladsenJ21 %V 13122 %@ 978-3-030-91550-6

@inproceedings{conf/tfm/VilladsenJ21, added-at = {2021-12-25T00:00:00.000+0100}, author = {Villadsen, Jørgen and Jacobsen, Frederik Krogsdal}, biburl = {https://www.bibsonomy.org/bibtex/29e6c63de854c454cd82d3f194f76160a/dblp}, booktitle = {FMTea}, crossref = {conf/tfm/2021}, editor = {Ferreira, João F. and Mendes, Alexandra and Menghi, Claudio}, ee = {https://doi.org/10.1007/978-3-030-91550-6_9}, interhash = {656429e709146626609a5520fb5bc3c9}, intrahash = {9e6c63de854c454cd82d3f194f76160a}, isbn = {978-3-030-91550-6}, keywords = {dblp}, pages = {117-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:59:51.000+0200}, title = {Using Isabelle in Two Courses on Logic and Automated Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/tfm/fmtea2021.html#VilladsenJ21}, volume = 13122, year = 2021 }