The Higher-Order Prover Leo-III

Author(s): Steen, Alexander; Benzmüller, Christoph  
Title of the Journal: Frontiers in Artificial Intelligence and Applications : FAIA
ISSN: 1879-8314
Conference: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August–8 September 2020, Santiago de Compostela, Spain
Publisher Information: Amsterdam : IOS Press
Year of publication: 2020
Volume: 2020
Issue: 325
Pages: 2937-2938
ISBN: 978-1-64368-100-9
Language(s): English
DOI: 10.3233/FAIA200462
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
Release Date: 22. September 2022