Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Edición de la obra Automated Deduction - CADE-16
| Autor | Harald Ganzinger |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540486602 |
| Número de Cutter | G211a |