Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
Edición de la obra Automated Deduction - CADE-19
| Autor | Franz Baader |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 10, 2003 |
| Idioma | inglés |
| Páginas | 503 |
| Formato | Paperback |
| ISBN-13 | 9783540405597 |
| ISBN-10 | 3540405593 |
| Número de Cutter | B111a |