Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Edición de la obra Automated Reasoning
| Autor | Alessandro Armando, Peter Baumgartner, Gilles Dowek |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540710707 |
| Número de Cutter | A727a |