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