Irene Garnelo Abellanas

irene.garnelo.abellanas@uni-paderborn.de
ID
93843

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
@inproceedings{Garnelo Abellanas_Liebendörfer_2024, title={Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2024} }
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
@inproceedings{Garnelo Abellanas_Liebendörfer_2024, title={Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2024} }
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed