Automated reasoning and its applications
essays in honor of Larry Wos
Edición de la obra Automated reasoning and its applications
| Autor | Larry Wos, Robert Veroff, Gail W. Pieper |
|---|---|
| Editorial | MIT Press, The MIT Press |
| Fecha de publicación | 1997 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| Páginas | 247 |
| ISBN-10 | 0262220555 |
| OCLC | 36103675 |
| LCCN | 96051916 |