VIVO
English (United States)
English (United States)
English (Canada)
Français (Canada)
Deutsch (Deutschland)
Español
Português (Brasil)
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Plum Print visual indicator of research metrics
The Higher-Order Prover Leo-III (Extended Abstract)
Chapter
Overview
Identity
View All
Overview
publication date
2019
Identity
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-30179-8_30
share the URI for this profile
view profile in RDF format
close
Captures
Readers:
2
see details
