Openresearch:CADE 2019
Jump to navigation
Jump to search
| 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/ |
| ... | ... |