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)]
2014
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
Bolotov, Alexander
Kerber, Manfred
38
Yes
No
International
Joint Automated Reasoning Workshop and Deduktionstreffen
23rd-24th July 2014
Vienna
Austria
[en] LEO Prover ; Automated Reasoning ; Proof Transformation ; Higher Order Logic