Automated Deduction – CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Edición de la obra Automated Deduction – CADE-22
| Autor | Renate A. Schmidt |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2009 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642029585, 9783642029592 |
| OCLC | 427322381 |
| LCCN | 2015458534 |
| Serie | Lecture Notes in Computer Science -- 5663 |
| Número de Cutter |