CADE 2017
Jump to navigation
Jump to search
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/ |
... | ... |