Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Edición de la obra Automated Reasoning
| Autor | David Basin, Michael Rusinowitch |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| ISBN-13 | 9783540259848 |
| Número de Cutter | B313a |