IJCAR 2016: 8th International Joint Conference on Automated Reasoning
| Type | Conference |
|---|---|
| Title | IJCAR 2016: 8th International Joint Conference on Automated Reasoning |
| Event date | 27 Jun 2016 to end of 02 Jul 2016 |
| Location | University of Coimbra, Portugal |
| Type | Conference |
|---|---|
| Title | IJCAR 2016: 8th International Joint Conference on Automated Reasoning |
| Event date | 27 Jun 2016 to end of 02 Jul 2016 |
| Location | University of Coimbra, Portugal |