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/ |
| ... | ... |