No full text
Available on ORBilu since
29 January 2020
Scientific presentation in universities or research centers (Scientific presentations in universities or research centers)
The Higher-Order Prover Leo-III
Steen, Alexander
2019
 

Files


Full Text
There are no file associated with this item.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
The Higher-Order Prover Leo-III
Publication date :
26 April 2019
Event name :
Invited talk
Event organizer :
SRI International, AI Center
Event place :
Menlo Park, CA, United States
Event date :
2019-04-26
Audience :
International

Statistics


Number of views
28 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

OpenCitations
 
21
WoS citations
 
34

Bibliography


Similar publications



Contact ORBilu