Recomienda este artículo a tus amigos:
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II - 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 II - Lecture Notes in Computer Science
511 pages, 114 Illustrations, color; 1980 Illustrations, black and white; XVII, 511 p. 2094 illus.,
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de junio de 2020 |
| ISBN13 | 9783030510534 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 511 |
| Dimensiones | 150 × 220 × 10 mm · 807 g |
| Lengua | Alemán |
| Editor | Peltier, Nicolas |
| Editor | Sofronie-Stokkermans, Viorica |