Reference : The Higher-Order Prover Leo-III (Extended Abstract)
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40370
The Higher-Order Prover Leo-III (Extended Abstract)
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2019
{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings
Benzmüller, Christoph mailto
Stuckenschmidt, Heiner
Springer
Lecture Notes in Computer Science, Vol. 11793
333-337
Yes
No
International
KI 2019
September 23-26, 2019
Kassel
Germany
Researchers ; Students
http://hdl.handle.net/10993/40370
10.1007/978-3-030-30179-8_30
https://link.springer.com/chapter/10.1007%2F978-3-030-30179-8_30

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
main.pdfAuthor preprint400.91 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.