%0 Conference Paper %1 conf/mkm/HozzovaKR21 %A Hozzová, Petra %A Kovács, Laura %A Rath, Jakob %B CICM %D 2021 %E Kamareddine, Fairouz %E Coen, Claudio Sacerdoti %I Springer %K dblp %P 185-196 %T Automated Generation of Exam Sheets for Automated Deduction. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2021.html#HozzovaKR21 %V 12833 %@ 978-3-030-81097-9

@inproceedings{conf/mkm/HozzovaKR21, added-at = {2021-08-12T00:00:00.000+0200}, author = {Hozzová, Petra and Kovács, Laura and Rath, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2391b792d471744db2cb80f70c282c4ec/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2021}, editor = {Kamareddine, Fairouz and Coen, Claudio Sacerdoti}, ee = {https://doi.org/10.1007/978-3-030-81097-9_15}, interhash = {8bac3bd2fe97b1459725c1b892dd6653}, intrahash = {391b792d471744db2cb80f70c282c4ec}, isbn = {978-3-030-81097-9}, keywords = {dblp}, pages = {185-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {Automated Generation of Exam Sheets for Automated Deduction.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2021.html#HozzovaKR21}, volume = 12833, year = 2021 }