Automated Deduction - Cade-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture ... Computer Science / Lecture Notes in Artific)
Edición de la obra Automated Deduction - Cade-11
| Autor | Deepak Kapur |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 1992 |
| Idioma | inglés |
| Páginas | 793 |
| Formato | Paperback |
| ISBN-13 | 9783540556022 |
| ISBN-10 | 3540556028 |
| Número de Cutter | K17a |