Irene Garnelo Abellanas

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

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre. 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. Introducing Mathematics Undergraduate Students to the Theorem Prover Lean. 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre. 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. Introducing Mathematics Undergraduate Students to the Theorem Prover Lean. 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed