Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...
Edición de la obra Automated Reasoning
| Autor | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 01, 2018 |
| Páginas | 742 |
| Formato | paperback |
| ISBN-13 | 9783319942049 |
| ISBN-10 | 3319942042 |
| Número de Cutter | G177a |