Automated Practical Reasoning
Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Edición de la obra Automated practical reasoning
| Autor | Dongming Wang |
|---|---|
| Editorial | Springer-Verlag Telos |
| Fecha de publicación | January 1995 |
| Idioma | inglés |
| Páginas | 223 |
| ISBN-13 | 9780387826004 |
| ISBN-10 | 0387826009 |
| Número de Cutter | W246a |