Originalsprog | Engelsk |
---|---|
Titel | Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings |
Redaktører | Stéphane Demri, Deepak Kapur, Christoph Weidenbach |
Antal sider | 15 |
Forlag | Springer, Cham |
Publikationsdato | 2014 |
Sider | 46-60 |
DOI | |
Status | Udgivet - 2014 |
Udgivet eksternt | Ja |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 8562 |
ISSN | 0302-9743 |