Automated Reasoning
Introduction and Applications/Book & Disk
Edición de la obra Automated Reasoning
| Autor | Larry Wos |
|---|---|
| Editorial | Mcgraw-Hill (Tx) |
| Fecha de publicación | March 1992 |
| Idioma | inglés |
| Páginas | 656 |
| Formato | Hardcover |
| ISBN-13 | 9780079112514 |
| ISBN-10 | 007911251X |
| Número de Cutter | W935a |