The Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph (2020): The Higher-Order Prover Leo-III, in: Frontiers in Artificial Intelligence and Applications : FAIA, Amsterdam: IOS Press, S. 2937–2938, doi: 10.3233/FAIA200462.
Author:
 ; 
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:
Year of publication:
2020
Volume:
2020
Issue:
325
Pages:
ISBN:
978-1-64368-100-9
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 22, 2022

Question on publication

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