Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020
Erscheinungsjahr: 2020
ISBN/ISSN: 978-3-030-51073-2
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
Doi/URN: 10.1007/978-3-030-51074-9
| Geprüft | Bibliothek |
Autoren
Peltier, Nicolas (Herausgeber)
Sofronie-Stokkermans, Viorica (Herausgeber)
