Handbook of Automated Reasoning
Edición de la obra Automated Reasoning
| Autor | Andrei Voronkov |
|---|---|
| Editorial | The MIT Press |
| Fecha de publicación | September 1, 2001 |
| Idioma | inglés |
| Páginas | 996 |
| Formato | Hardcover |
| ISBN-13 | 9780262182218 |
| ISBN-10 | 0262182211 |
| Número de Cutter | V954h |