Options
Mathematical Proof Assistants for Teaching Logic : the LogiKEy Methodology
Benzmüller, Christoph; Fuenmayor, David (2023): „Mathematical Proof Assistants for Teaching Logic : the LogiKEy Methodology“. Madrid.
Faculty/Professorship:
Author:
Title of the compilation:
Book of Abstracts : International Congress Tools for Teaching Logic V
Conference:
International Congress Tools for Teaching Logic V, March 23-24 2023 ; Madrid
Publisher Information:
Year of publication:
2023
Pages:
Language:
English
DOI:
GND Keywords: ; ; ; ;
Künstliche Intelligenz
Beweis
Mathematik
Intelligenter persönlicher Assistent
Mathematische Logik
Keywords: ;
AI
LogiKEy
DDC Classification:
RVK Classification:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
published:
July 3, 2023
Permalink
https://fis.uni-bamberg.de/handle/uniba/59552