Difference between revisions of "TABLEAUX 2020"
(CSV import conf 2020) |
(No difference)
|
Latest revision as of 17:11, 27 February 2020
TABLEAUX 2020 | |
---|---|
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
| |
Event in series | TABLEAUX |
Dates | 6/29/2020 (iCal) - 7/5/2020 |
Homepage: | http://www.tableaux-ar.org/next.html |
Location | |
Location: | Paris, France |
Loading map... | |
Table of Contents | |
Facts about "TABLEAUX 2020"
Acronym | TABLEAUX 2020 + |
End date | July 5, 2020 + |
Event in series | TABLEAUX + |
Has coordinates | 48° 51' 32", 2° 19' 12"Latitude: 48.858888888889 Longitude: 2.3200416666667 + |
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 + |