Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Edición de la obra Automated Deduction - CADE-19
| Autor | Franz Baader |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540450856 |
| Número de Cutter | B111a |