CADE 27 - 27th International Conference on Automated Deduction
| Type | Conference |
|---|---|
| Title | CADE 27 - 27th International Conference on Automated Deduction |
| Event date | 27 to end of 30 Aug 2019 |
| Location | Natel, Brazil |
| Type | Conference |
|---|---|
| Title | CADE 27 - 27th International Conference on Automated Deduction |
| Event date | 27 to end of 30 Aug 2019 |
| Location | Natel, Brazil |