Skip to content
Log in
Toggle navigation
Datasets
Organizations
Groups
About
Search Datasets
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
2 datasets found
Tags:
harvey
Filter Results
Challenges to Urbanity in Contemporary Mediterranean Metropolises: New Urban ...
National audience
HTML
Proof reconstruction for first-order logic and set-theoretical constructions
Proof reconstruction is a technique that combines an interactive theorem prover and an automatic one in a sound way, so that users benefit of the expressiveness of the...
HTML
You can also access this registry using the
API
(see
API Docs
).
