Automated Generation of Exam Sheets for Automated Deduction

Hozzová, Petra; Kovács, Laura; Rath, Jakob

by Petra Hozzová, Laura Kovács, Jakob Rath

Reference:

Automated Generation of Exam Sheets for Automated DeductionPetra Hozzová, Laura Kovács, Jakob RathIntelligent Computer Mathematics (Fairouz Kamareddine, Claudio Sacerdoti Coen, eds.), pages 185–196, 2021, Springer International Publishing.

Bibtex Entry:

@inproceedings{HozKovRat21,
  author="Hozzov{\'a}, Petra
and Kov{\'a}cs, Laura
and Rath, Jakob",
  editor="Kamareddine, Fairouz
and Sacerdoti Coen, Claudio",
  title="Automated Generation of Exam Sheets for Automated Deduction",
  booktitle="Intelligent Computer Mathematics",
  year="2021",
  publisher="Springer International Publishing",
  address="Cham",
  pages="185--196",
  isbn="978-3-030-81097-9"
  url={https://link.springer.com/content/pdf/10.1007/978-3-030-81097-9\_15.pdf},
}