Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: IJCAR (VerfasserIn)
Weitere Verfasser: Peltier, Nicolas (HerausgeberIn), Sofronie-Stokkermans, Viorica (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science Lecture notes in artificial intelligence
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Keine Beschreibung verfügbar.