Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
The Leo-III Project
Wisniewski, Max; STEEN, Alexander; BENZMÜLLER, Christoph
2014 • In Bolotov, Alexander; Kerber, Manfred (Eds.) Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
LEO Prover; Automated Reasoning; Proof Transformation; Higher Order Logic
Disciplines :
Sciences informatiques
Auteur, co-auteur :
Wisniewski, Max
STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
The Leo-III Project
Date de publication/diffusion :
2014
Nom de la manifestation :
Joint Automated Reasoning Workshop and Deduktionstreffen
Lieu de la manifestation :
Vienna, Autriche
Date de la manifestation :
23rd-24th July 2014
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
