Automated Deduction -- CADE-23
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Edición de la obra Automated Deduction -- CADE-23
| Autor | Nikolaj Bjørner, Viorica Sofronie-Stokkermans |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 05, 2011 |
| Páginas | 524 |
| Formato | paperback |
| ISBN-13 | 9783642224393 |
| ISBN-10 | 3642224393 |
| Número de Cutter | B626a |