Automated Deduction
Edición de la obra Automated Deduction
| Autor | Robert Nieuwenhuis |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 04, 2008 |
| Formato | paperback |
| ISBN-13 | 9783540813552 |
| ISBN-10 | 3540813551 |
| Número de Cutter | N682a |
Edición de la obra Automated Deduction
| Autor | Robert Nieuwenhuis |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 04, 2008 |
| Formato | paperback |
| ISBN-13 | 9783540813552 |
| ISBN-10 | 3540813551 |
| Número de Cutter | N682a |