Automated practical reasoning
algebraic approaches
Edición de la obra Automated practical reasoning
| Autor | Dongming Wang |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1995 |
| Lugar | Wien, New York |
| Idioma | inglés |
| Páginas | 223 |
| ISBN-10 | 3211826009, 0387826009 |
| OCLC | 31865671 |
| LCCN | 95001923 |
| Serie | Texts and monographs in symbolic computation, |
| Número de Cutter | W246a |