Automated Practical Reasoning
Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Edición de la obra Automated practical reasoning
| Autor | Dongming Wang |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 1, 2001 |
| Idioma | inglés |
| Páginas | 223 |
| Formato | Paperback |
| ISBN-13 | 9783211826003 |
| ISBN-10 | 3211826009 |
| Número de Cutter | W246a |