Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Automated Deduction - CADE-16
| Autor | Harald Ganzinger |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 30, 1999 |
| Idioma | inglés |
| Páginas | 429 |
| Formato | Paperback |
| ISBN-13 | 9783540662228 |
| ISBN-10 | 3540662227 |
| Número de Cutter | G211a |