Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 22/07/2014 |
---|---|
Host publication | Automated Reasoning - 7th International Joint Conference, IJCAR |
Place of Publication | Cham |
Publisher | Springer |
Pages | 381-395 |
Number of pages | 15 |
Volume | 8562 |
ISBN (electronic) | 9783319085876 |
ISBN (print) | 9783319085869 |
<mark>Original language</mark> | English |
Event | International Joint Conference on Automated Reasoning - Vienna , Austria Duration: 19/07/2014 → 22/07/2014 https://link.springer.com/book/10.1007/978-3-319-08587-6 |
Conference | International Joint Conference on Automated Reasoning |
---|---|
Country/Territory | Austria |
City | Vienna |
Period | 19/07/14 → 22/07/14 |
Internet address |
Conference | International Joint Conference on Automated Reasoning |
---|---|
Country/Territory | Austria |
City | Vienna |
Period | 19/07/14 → 22/07/14 |
Internet address |