Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Edición de la obra Automated Reasoning
| Autor | Stéphane Demri, Deepak Kapur, Christoph Weidenbach |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| ISBN-13 | 9783319085876 |
| Número de Cutter | D389a |