Automated Deduction - Cade-12
12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Edición de la obra Automated Deduction - Cade-12
| Autor | Alan Bundy |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 1994 |
| Idioma | inglés |
| Páginas | 848 |
| Formato | Paperback |
| ISBN-13 | 9783540581567 |
| ISBN-10 | 3540581561 |
| Número de Cutter | B942a |