Automated Deduction CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Automated Deduction CADE-20
| Autor | Robert Nieuwenhuis |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 1, 2005 |
| Idioma | inglés |
| Páginas | 459 |
| Formato | Paperback |
| ISBN-13 | 9783540280057 |
| ISBN-10 | 3540280057 |
| Número de Cutter | N682a |