Automated Reasoning and Its Applications
Essays in Honor of Larry Wos
Edición de la obra Automated Reasoning and Its Applications
| Autor | Robert Veroff |
|---|---|
| Editorial | The MIT Press |
| Fecha de publicación | June 6, 1997 |
| Idioma | inglés |
| Páginas | 257 |
| Formato | Hardcover |
| ISBN-13 | 9780262220552 |
| ISBN-10 | 0262220555 |
| Número de Cutter | V546a |