Automated reasoning
introduction and applications
Edición de la obra Automated reasoning
| Autor | Larry Wos |
|---|---|
| Editorial | McGraw-Hill |
| Fecha de publicación | 1992 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 656 |
| ISBN-10 | 007911251X |
| LCCN | 91043171 |
| Número de Cutter | W935a |
introduction and applications
Edición de la obra Automated reasoning
| Autor | Larry Wos |
|---|---|
| Editorial | McGraw-Hill |
| Fecha de publicación | 1992 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 656 |
| ISBN-10 | 007911251X |
| LCCN | 91043171 |
| Número de Cutter | W935a |