Difference between revisions of "TABLEAUX 2020"
Jump to navigation
Jump to search
(CSV import conf 2020) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
Line 8: | Line 8: | ||
|Start date=6/29/2020 | |Start date=6/29/2020 | ||
|Homepage=http://www.tableaux-ar.org/next.html | |Homepage=http://www.tableaux-ar.org/next.html | ||
+ | |pageCreator=Soeren | ||
+ | |pageEditor=Soeren | ||
+ | |contributionType=1 | ||
}} | }} |
Latest revision as of 19:47, 1 April 2022
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 |
Table of Contents | |