Page values for "CADE 2020"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/CADE_2020"
Facts about "CADE 2020"
RDF feed
AcronymCADE 2020 +
End dateFebruary 7, 2020 +
Event in seriesCADE +
Has coordinates48° 51' 13", 2° 20' 54"Latitude: 48.853494444444
Longitude: 2.3483916666667 +
Has location cityParis +
Has location countryCategory:France +
Homepagehttp://www.cadeinc.org/ +
IsAEvent +
Start dateJune 29, 2020 +
TitleInternational Conference on Automated Deduction +