Page values for "TABLEAUX 2020"
Facts about "TABLEAUX 2020"
Acronym | TABLEAUX 2020 + |
End date | July 5, 2020 + |
Event in series | TABLEAUX + |
Has coordinates | 48° 51' 24", 2° 21' 5"Latitude: 48.856697222222 Longitude: 2.3514611111111 + |
Has location city | Paris + |
Has location country | Category:France + |
Homepage | http://www.tableaux-ar.org/next.html + |
IsA | Event + |
Start date | June 29, 2020 + |
Title | International Conference on Theorem Proving with Analytic Tableaux and Related Methods + |