Paper published in a book (Scientific congresses, symposiums and conference proceedings)
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 :
Computer science
Author, co-author :
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)
External co-authors :
no
Language :
English
Title :
The Leo-III Project
Publication date :
2014
Event name :
Joint Automated Reasoning Workshop and Deduktionstreffen
Event place :
Vienna, Austria
Event date :
23rd-24th July 2014
Audience :
International
Main work title :
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
