Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
Cham: Springer International Publishing 2020 (Lecture Notes in Computer Science)
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 |
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
