Revision history of "TABLEAUX 2020"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

Retrieved from "https://www.openresearch.org/wiki/TABLEAUX_2020"
关于“TABLEAUX 2020”的事实
RDF源
AcronymTABLEAUX 2020 +
End date2020年7月5日 (日) +
Event in seriesTABLEAUX +
Has coordinates48° 51' 24", 2° 21' 5"Latitude: 48.856697222222
Longitude: 2.3514611111111 +
Has location cityParis +
Has location countryCategory:France +
Homepagehttp://www.tableaux-ar.org/next.html +
IsAEvent +
Start date2020年6月29日 (一) +
TitleInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods +