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 International Publishing AG |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 528 |
| ISBN-13 | 9783319085869 |
| Número de Cutter | D389a |