CADE 2017

From OPENRESEARCH i5 copy Wiki
Jump to navigation Jump to search
Event
Name Value
isA Event
Acronym CADE 2017
Title 26th International Conference on Automated Deduction
Start date 2017/08/08
End date 2017/08/11
Homepage http://www.cse.chalmers.se/~myreen/cade-26/
... ...