Automated Reasoning
33 Basic Research Problems
Edición de la obra Automated Reasoning
| Autor | Larry Wos |
|---|---|
| Editorial | Prentice Hall |
| Fecha de publicación | November 1987 |
| Páginas | 319 |
| Formato | Paperback |
| ISBN-13 | 9780130545527 |
| ISBN-10 | 013054552X |
| Número de Cutter | W935a |