CADE 2020
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | CADE 2020 |
| Title | International Conference on Automated Deduction |
| Start date | 2020/06/29 |
| End date | 2020/07/02 |
| Homepage | http://www.cadeinc.org/ |
| ... | ... |
Part of IJCAR 2020.