Available on ORBilu since
Scientific presentation in universities or research centers (Scientific presentations in universities or research centers) The Higher-Order Prover Leo-III
Steen, Alexander
2019
Full Text There are no file associated with this item.
Disciplines :
Computer science
Steen, Alexander ;
University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) Title :
The Higher-Order Prover Leo-III
Publication date :
26 April 2019
Event organizer :
SRI International, AI Center
Event place :
Menlo Park, CA, United States
Number of views
28 (2 by Unilu)
Number of downloads
0 (0 by Unilu)
