Openresearch:CADE 2019

From OPENRESEARCH i5 copy Wiki
Revision as of 18:49, 13 January 2021 by Wf (talk | contribs) (pushed from or by wikipush)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Event
Name Value
isA Event
Acronym CADE 2019
Title The 27th International Conference on Automated Deduction
Start date 2019/08/25
End date 2019/08/30
Homepage https://www.mat.ufrn.br/cade-27/
... ...
Retrieved from "https://confident.dbis.rwth-aachen.de/ori5/index.php?title=Openresearch:CADE_2019&oldid=881"