Reference : The Higher-Order Prover Leo-III |
Scientific Presentations in Universities or Research Centers : Scientific presentation in universities or research centers | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/42332 | |||
The Higher-Order Prover Leo-III | |
English | |
Steen, Alexander ![]() | |
26-Apr-2019 | |
International | |
Invited talk | |
2019-04-26 | |
SRI International, AI Center | |
Menlo Park, CA | |
USA | |
Researchers | |
http://hdl.handle.net/10993/42332 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.