Tell your friends about this item:
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 30, 2020 |
| ISBN13 | 9783030510732 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 537 |
| Dimensions | 156 × 233 × 36 mm · 840 g |
| Language | German |
| Editor | Peltier, Nicolas |
| Editor | Sofronie-Stokkermans, Viorica |
Christmas presents can be returned until 31 January