%0 Conference Paper %1 conf/dcai/FromLV21 %A From, Asta Halkjær %A Lund, Simon Tobias %A Villadsen, Jørgen %B DCAI (2) %D 2021 %E Rodríguez-González, Sara %E Machado, José Manuel F. %E González-Briones, Alfonso %E Wikarek, Jaroslaw %E Loukanova, Roussanka %E Katranas, George %E Casado-Vara, Roberto %I Springer %K dblp %P 53-63 %T A Case Study in Computer-Assisted Meta-reasoning. %U http://dblp.uni-trier.de/db/conf/dcai/dcai2021-2.html#FromLV21 %V 332 %@ 978-3-030-86887-1

@inproceedings{conf/dcai/FromLV21, added-at = {2023-09-30T00:00:00.000+0200}, author = {From, Asta Halkjær and Lund, Simon Tobias and Villadsen, Jørgen}, biburl = {https://www.bibsonomy.org/bibtex/253211f0a46c642ab99bde9b4e1c7877d/dblp}, booktitle = {DCAI (2)}, crossref = {conf/dcai/2021-2}, editor = {Rodríguez-González, Sara and Machado, José Manuel F. and González-Briones, Alfonso and Wikarek, Jaroslaw and Loukanova, Roussanka and Katranas, George and Casado-Vara, Roberto}, ee = {https://doi.org/10.1007/978-3-030-86887-1_5}, interhash = {8fac3b54a111e7e1bd4bcb0a3409e490}, intrahash = {53211f0a46c642ab99bde9b4e1c7877d}, isbn = {978-3-030-86887-1}, keywords = {dblp}, pages = {53-63}, publisher = {Springer}, series = {Lecture Notes in Networks and Systems}, timestamp = {2024-04-10T00:24:15.000+0200}, title = {A Case Study in Computer-Assisted Meta-reasoning.}, url = {http://dblp.uni-trier.de/db/conf/dcai/dcai2021-2.html#FromLV21}, volume = 332, year = 2021 }