Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=125954-4
Link zu diesem Datensatz | https://d-nb.info/gnd/125954-4 |
Veranstaltung | Conference on Automated Deduction |
Quelle | LCAuth |
Vorgänger | Workshop on Automated Deduction |
Nachfolger | International Conference on Automated Deduction |
Typ | Veranstaltungsfolge (vif) |
Autor von |
1 Publikation
|