Automated Reasoning
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Automated Reasoning
| Autor | Ulrich Furbach, Natarajan Shankar |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 4, 2007 |
| Idioma | inglés |
| Páginas | 680 |
| Formato | Paperback |
| ISBN-13 | 9783540371878 |
| ISBN-10 | 3540371877 |
| OCLC | 70886323 |
| Número de Cutter |