Recomienda este artículo a tus amigos:
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2020 edition
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I - Lecture Notes in Computer Science
537 pages, 9 Illustrations, color; 1152 Illustrations, black and white; XXVII, 537 p. 1161 illus., 9
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de junio de 2020 |
| ISBN13 | 9783030510732 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 537 |
| Dimensiones | 150 × 220 × 10 mm · 860 g |
| Lengua | Alemán |
| Editor | Peltier, Nicolas |
| Editor | Sofronie-Stokkermans, Viorica |