Mathematical Proof Assistants for Teaching Logic : the LogiKEy Methodology
Benzmüller, Christoph; Fuenmayor, David (2023): Mathematical Proof Assistants for Teaching Logic : the LogiKEy Methodology, in: Book of Abstracts : International Congress Tools for Teaching Logic V, Madrid, S. 1–3, doi: 10.20378/irb-59552.
Faculty/Chair:
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:
Licence:
URL:
URN:
GND Keywords:
Künstliche Intelligenz
 ; 
Beweis
 ; 
Mathematik
 ; 
Intelligenter persönlicher Assistent
 ; 
Mathematische Logik
Keywords:
AI
 ; 
LogiKEy
DDC Classification:
RVK Classification:
ST 304    
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
July 3, 2023

Full text/File(s)

fisba59552.pdf

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/59552