International Conference on Automated Deduction
| Type | Conference |
|---|---|
| Title | International Conference on Automated Deduction |
| Event date | 08 to end of 11 Aug 2017 |
| Location | Gothenburg |
| Type | Conference |
|---|---|
| Title | International Conference on Automated Deduction |
| Event date | 08 to end of 11 Aug 2017 |
| Location | Gothenburg |