7th International Joint Conference on Automated Reasoning (IJCAR)
| Type | Conference |
|---|---|
| Title | 7th International Joint Conference on Automated Reasoning (IJCAR) |
| Event date | 19 to end of 22 Jul 2014 |
| Location | Vienna, Austria |
| Type | Conference |
|---|---|
| Title | 7th International Joint Conference on Automated Reasoning (IJCAR) |
| Event date | 19 to end of 22 Jul 2014 |
| Location | Vienna, Austria |