The Higher-Order Prover Leo-III

Reference : The Higher-Order Prover Leo-III


	Document type :	Scientific Presentations in Universities or Research Centers : Scientific presentation in universities or research centers
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/42332

Title :	The Higher-Order Prover Leo-III
Language :	English
Author, co-author :	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	26-Apr-2019
Audience :	International
Event name :	Invited talk
Event date :	2019-04-26
Event organizer :	SRI International, AI Center
Event place (city) :	Menlo Park, CA
Event country :	USA
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/42332

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.