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 | MIT Press |
| Fecha de publicación | 1997 |
| Idioma | inglés |
| Páginas | 257 |
| ISBN-13 | 9780262303538 |
| Número de Cutter | V546a |